如果结果不匹配，请 
更多“在自然演绎推理中,常用到的推理规则有P规则以及()。”相关的问题
第6题
在自然推理系统P中构造下面推理的证明:只要A曾到过受害者房间并且11点以前没用离开,A就犯了谋杀罪，A曾到过受害者房间，如果A在11点以前离开，看门人会看到他，看门人没有看到他，所以A犯了谋杀罪.
第7题
“如果SAP真，则PIS真;已知PIS真，所以SAP真”，该推理违反的规则是（)
A.充分条件假言推理肯定后件不能肯定前件
B.充分条件假言推理否定前件就要否定后件
C.必要条件假言推理肯定后件不能肯定前件
D.直接推理前提中不周延的项在结论中也不得周延
E.充分条件假言推理肯定后件式是不正确的
第9题
在自然推理系统P中构造下面推理的证明。（1)如果今天是星期六，我们就要到颐和园或圆明园去玩，如
在自然推理系统P中构造下面推理的证明。
(1)如果今天是星期六，我们就要到颐和园或圆明园去玩，如果颐和园游人太多，我们就不去颐和园玩，今天是星期六，颐和园游人太多，所以我们去圆明园玩。
(2)如果小王是理科学生，他的数学成绩一定很好，如果小王不是文科生，他必是理科生，小王的数学成绩不好所以小王是文科学生
(3)明天是晴天，或是雨天;若明天是晴天，我就去看电影;若我看电影，我就不看书，所以，如果我看书，则明天是雨天
