早教吧 育儿知识 作业答案 考试题库 百科 知识分享

在自然推理系统p中构造下面推理的证明:1.只要A曾到过受害者房间并且11点前没离开,A就是谋杀犯.A曾到过受害者房间.如果A在11点以前离开,看门人会看见他.看门人么有看见他.所以,A是谋杀嫌

题目详情
在自然推理系统p中构造下面推理的证明:
1.只要A曾到过受害者房间并且11点前没离开,A就是谋杀犯.A曾到过受害者房间.如果A在11点以前离开,看门人会看见他.看门人么有看见他.所以,A是谋杀嫌犯.
2.如果今天是周六,我们就去颐和园或圆明园玩.如果颐和园游人太多,我们就不去颐和园玩.今天是周六.颐和园游人太多.所以,我们去圆明园玩.
3.如果小王是理科生,则它的数学成绩一定很好.如果小王不是文科生,他一定是理科生.小王的数学成绩不好.所以小王是文科生.
这是大二左右的题,
是 p:A曾到过受害者房间 q:11点前没离开
▼优质解答
答案和解析
1.因为看门人没有看见他,所以a在11点前没有离开,所以a是谋杀嫌疑犯
2.因为颐和园人太多,所以我们不去颐和园玩,所以我们去圆明园玩
3.因为小王数学成绩不好,所以他不是理科生,所以他是文科生