在自然推理系统p中构造下面推理的证明： 1.只要A曾到过受害者房间并且11点前没离开，A 就是谋杀
在自然推理系统p中构造下面推理的证明：1.只要A曾到过受害者房间并且11点前没离开，A就是谋杀犯。A曾到过受害者房间。如果A在11点以前离开，看门人会看见他。看门人么有看...
在自然推理系统p中构造下面推理的证明： 1.只要A曾到过受害者房间并且11点前没离开，A 就是谋杀犯。A曾到过受害者房间。如果A在11点 以前离开，看门人会看见他。看门人么有看见他 。所以，A是谋杀嫌犯。
展开
2个回答
展开全部
因为看门人没有看见他,所以a在11点前没有离开,所以a是谋杀嫌疑犯
追问
。。。。离散数学题，是要证明滴那一种，
追答
假设 A在11点之前离开
如果 A在11点 以前离开，看门人会看见他，看门人没有看见A
得出 A没有离开受害者房间
又 只要A曾到过受害者房间并且11点前没离开，A 就是谋杀犯
因为 A曾到过受害者房间并且11点前没离开
固 A是谋杀嫌犯
别差评啊！。。。不开心。。。
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
展开全部
对呀！太聪明了！
追问
a、
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
