题目内容
(请给出正确答案)
[主观题]
在自然推理系统P中构造下面推理的证明:只要A曾到过受害者房间并且11点以前没用离开,A就犯了谋杀罪,A曾到过受害者房间,如果A在11点以前离开,看门人会看到他,看门人没有看到他,所以A犯了谋杀罪.
查看答案
如果结果不匹配,请 联系老师 获取答案
在自然推理系统P中构造下面推理的证明。
(1)如果今天是星期六,我们就要到颐和园或圆明园去玩,如果颐和园游人太多,我们就不去颐和园玩,今天是星期六,颐和园游人太多,所以我们去圆明园玩。
(2)如果小王是理科学生,他的数学成绩一定很好,如果小王不是文科生,他必是理科生,小王的数学成绩不好所以小王是文科学生
(3)明天是晴天,或是雨天;若明天是晴天,我就去看电影;若我看电影,我就不看书,所以,如果我看书,则明天是雨天
在自然推理系统中,构造下列推理的证明。没有白色的乌鸦。北京鸭是白色的。因此,北京鸭不是乌鸦。
在自然推理系统中,构造下列推理的证明。每个科学工作者都是刻苦钻研的,每个刻苦钻研而又聪明的人在他的事业中都将获得成功。王大海是科学工作者,并且是聪明的。所以,王大海在他的事业中将获得成功。(个体域为人类集合)
在自然推理系统中,构造下面用自然语言描述的推理。火车都比汽车快,汽车都比轮船快,a是火车,b是汽车,c是轮船。所以,a比b快,b比c快。