问答题
计算题
在自然推理系统P中构造下面推理的证明：
只要A曾到过受害者房间并且11点以前没用离开，A就犯了谋杀罪，A曾到过受害者的房间，如果A在11点以前离开，看门人会看到他，看门人没有看到他，所以A犯了谋杀罪。
【参考答案】
点击查看答案
