问答题计算题

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

您可能感兴趣的试卷

你可能感兴趣的试题

参考答案x~y蕴含Δx~Δy;x~y,u~v蕴含x*u~y*v;同余类