用消解证明法构造下列推理的证明。
请帮忙给出正确答案和分析,谢谢!
请帮忙给出正确答案和分析,谢谢!
第3题
在自然推理系统中,构造用自然语言描述的推理的证明。
1.实数不是有理数就是无理数。无理数都不是分数。所以,若有分数,则必有有理数(个体为实数集R)。
2.人都喜欢吃蔬菜。但不是所有的人都喜欢吃鱼。所以,存在喜欢吃蔬菜而不喜欢吃鱼的。
第5题
在自然推理系统P中构造下面推理的证明。
(1)如果今天是星期六,我们就要到颐和园或圆明园去玩,如果颐和园游人太多,我们就不去颐和园玩,今天是星期六,颐和园游人太多,所以我们去圆明园玩。
(2)如果小王是理科学生,他的数学成绩一定很好,如果小王不是文科生,他必是理科生,小王的数学成绩不好所以小王是文科学生
(3)明天是晴天,或是雨天;若明天是晴天,我就去看电影;若我看电影,我就不看书,所以,如果我看书,则明天是雨天
第6题
(1)试举出一个个体域及两种解释,分别证明第4题之(1)、(2)的逆不能成立.
(2)证明下列推理无效.
第8题
试给出实例说明,在自然推理系统中使用规则时,如果不符合规则要求的条件将可能“证明”错误的推理。
第9题
A.为什么调查中所研究的时间是13年,而不是12年或14年?
B.在结婚后的时间里,有没有一些男性体重的增加不到18磅?
C.与调查中的年龄有可比性的单身汉在13年中体重增加或减少了多少?
D.调查中的女性和调查中的男性一样积极进行体育运动吗?
第10题
A.撰写评估报告的人中也有来自青山小学的人员。
B.对青山小学盲目信任,主观认为质量评估报告不可信。
C.用有偏见的证据论证“教学质量评估报告是错误的”。
D.并没有提供确切的证据,只是猜测评估报告有问题。
E.没有证明青山小学和绿水小学教学质量有显著差异。
第11题