Question

离散数学的逻辑推理,求按格式解答下案例分析的第一问QAQ

Answer 1

设：

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

可知不是甲作案,从题意可得是乙作案.