问答题
在自然推理系统P中构造下面推理的证明。
如果今天是星期六,我们就要到颐和园或圆明园去玩,如果颐和园游人太多,我们就不去颐和园玩,今天是星期六,颐和园游人太多,所以我们去圆明园玩。
您可能感兴趣的试卷
最新试题
设<S,*>是半群,对∀a,b∈S,若a≠b,就有a*b≠b*a,则下列叙述中不正确的是()。
题型:单项选择题
设A(x):x是人,B(x):x是学生,则命题“有的人是学生”可符号化为()
题型:单项选择题
符号化语句:“有些病人相信所有的医生,但是病人都不相信骗子,所以医生都不是骗子”,并推证其结论。
题型:问答题
设关系R的关系图如下,试(1)写出R的关系表达式;(2)判断R是否为等价关系,并说明理由。
题型:问答题
设R为实数集,对于任意a,b∈R,a*b=a+b+ab,则下述结论中正确的是()。
题型:单项选择题
设无向图G中存在欧拉路,则G的奇数度数的结点数为()。
题型:填空题
若无向图G是有99个结点,9个连通分量,则G中的边数必()
题型:单项选择题
存在集合A与B,可以使得A∈B与A⊆B同时成立。()
题型:判断题
任意两个不同极大项的析取式必为()。
题型:单项选择题
下列命题相容吗?
题型:问答题