离散数学的逻辑推理，求按格式解答下案例分析的第一问QAQ
创始人
2025-06-18 21:12:33
0次
离散数学的逻辑推理，求按格式解答下案例分析的第一问QAQ
设：
P：甲作案 Q：作案时间在上班时间
S：乙证词正确 T：大门上锁
由题意得，数理逻辑表达式为
P→┐Q,S→┐T , ┐S→Q, T
(1) T P
(2) S→┐T P
(3) T→┐S T(2)E
(4) ┐S T(1)(3)I
(5) ┐S→Q P
(6) Q T(4)(5)I
(7) P→┐Q P
(8) Q →┐P T(&)E
(9) ┐P T(6)(8)I
可知不是甲作案，从题意可得是乙作案。
设：
P：甲作案 Q：作案时间在上班时间
S：乙证词正确 T：大门上锁
由题意得，数理逻辑表达式为
P→┐Q,S→┐T , ┐S→Q, T
(1) T P
(2) S→┐T P
(3) T→┐S T(2)E
(4) ┐S T(1)(3)I
(5) ┐S→Q P
(6) Q T(4)(5)I
(7) P→┐Q P
(8) Q →┐P T(&)E
(9) ┐P T(6)(8)I
可知不是甲作案，从题意可得是乙作案。
相关内容
热门资讯
你是我兄弟王大炮最后怎么啦
你是我兄弟王大炮最后怎么啦你是我兄弟王大炮最后炒股输了。《你是我的兄弟》讲述了一个普通百姓家庭里四兄...
谐音故事
谐音故事见鸡而作 从前有一个地主,很爱吃鸡,佃户租种他家的田,光交租不行,还得先送一只鸡给他. 有一...
委屈的欧卡读后感
委屈的欧卡读后感委屈的欧卡读后感of the wall lit up by the flame.委屈...
文言文豚泽之人养蜀鸡翻译
文言文豚泽之人养蜀鸡翻译豚泽之人养蜀鸡文言文翻译是：豚泽这个地方有一个人养了一只蜀地的鸡，身上有花纹...
急急急！！！求一关于抗震救灾的...
急急急！！！求一关于抗震救灾的英文感谢信Hello!Hello!Hello!Hello!Hello!...
【治蜀兴川】四川：把文化旅游业...
欢迎关注“方志四川”！ 来源：人民网-四川频道 四川：把文化旅游业 培育成为新的经济增长点 新闻发...
老朱有七个姨太太电影叫什么名？
老朱有七个姨太太电影叫什么名？这电影叫什么名不是电影是电视剧雾都（2012）导演：黄力加编剧：赵冬苓...
请问 这下面这图 是一张简单的...
请问 这下面这图 是一张简单的图片 还是一部动画片 提供详情啊 感谢感谢啊这是暴力熊啊，一个系列玩具...
“人吓人，吓死人”是什么意思？
“人吓人，吓死人”是什么意思？民间俗语！就是说要是一个人存心吓唬另一个人的话，就可能会把那个人吓死！...
你最喜欢的三首单曲循环的歌曲名...
你最喜欢的三首单曲循环的歌曲名字是什么夜曲 逆鳞 孤独