您好、欢迎来到现金彩票网!
当前位置:21点 > 自然推理 >

请将上述事实符号化然后使用命题逻辑的自然推理判断盗窃计算机的

发布时间:2019-06-10 17:50 来源:未知 编辑:admin

  请将上述事实符号化,然后使用命题逻辑的自然推理,判断盗窃计算机的是张平还是王磊

  请将上述事实符号化,然后使用命题逻辑的自然推理,判断盗窃计算机的是张平还是王磊

  一公安人员审查一件盗窃案,得到如下事实:(1)张平或王磊盗窃了机房的计算机一台;(2)若张平盗窃了计算机§则作案时间不可能发生在午夜之前;(3)若王磊的证词正确,则午夜时机房里的灯未灭...

  一公安人员审查一件盗窃案,得到如下事实:(1)张平或王磊盗窃了机房的计算机一

  台;(2)若张平盗窃了计算机§则作案时间不可能发生在午夜之前;(3)若王磊的证词正确,则午夜时

  机房里的灯未灭;(4)若王磊的证词不正确,则作案时间发生在午夜之前;(5)午夜时光机房灯灭了.

  请将上述事实符号化,然后使用命题逻辑的自然推理,判断盗窃计算机的是张平还是王磊

  张平盗窃为A,黄磊为B,发生在午夜前为C,午夜时机房灯未灭为D,灭为-D

  展开全部一、设:张平盗窃了机房的计算机为p;王磊盗窃了机房的计算机为q;作案时间发生在午夜之前为r;王磊的证词正确为s;午夜时机房里的灯未灭为t。二、符号化

  ⑥:由⑤和③得出((s→t)∧t) →s(充分条件假言推理否定后件式)

  ⑦:由⑥和④得出((s→r) ∧s) →r(充分条件假言推理肯定前件式)

  ⑧:由⑦和②得出((p→r) ∧r) →p(充分条件假言推理否定后件式)

http://idiomcoach.com/zirantuili/69.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有