来源：学生作业帮 编辑：拍题作业网作业帮 分类：数学作业 时间：2024/04/28 22:49:21
离散数学的逻辑推理,求按格式解答下案例分析的第一问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
可知不是甲作案,从题意可得是乙作案.
再问： 谢谢老师
作业帮