z在自然推理系统P中构造下面推理的证明时，除了前提引入规则外，还会用到哪些推理定律？只要A曾到过受害者房间并且11点以前没离开，A就是谋杀嫌疑犯。A曾到过受害者房间。如果A在11点以前离开，看门人会看见他。看门人没有看见他。所以，A是谋杀嫌疑犯。
z在自然推理系统P中构造下面推理的证明时，除了前提引入规则外，还会用到哪些推理定律？只要A曾到过受害者房间并且11点以前没离开，A就是谋杀嫌疑犯。A曾到过受害者房间。如果A在11点以前离开，看门人会看见他。看门人没有看见他。所以，A是谋杀嫌疑犯。
A、假言推理
B、拒取式
C、合取式
D、析取三段论
正确答案：假言推理|拒取式|合取式