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

来源:学生作业帮助网 编辑:作业帮 时间:2024/07/14 21:33:16
离散数学的逻辑推理,求按格式解答下案例分析的第一问QAQ
x_oPƿ ҞrPXb hQuPWWYtnaa.gA~ M{>yۂÁ;,tàJ//soNy-}t+jo~j֭D̍u?l2=h^L՚M&Lʹjf`4ffZV[*zQ$fT ( DH" X%9 EABPjBE 9kH@HFBEqe@F|.OP!AC %M\3 =o'Οq"KTo:TZ1~DН #V&.l}4cP,xf?R"t=i\=Cǡ/Qe&* Mq+ qC@r \Xm3 *l K(sR2G *ǁe%by%J._OƖQ-ړwM.vg'.Gozo[Z=mG

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

离散数学的逻辑推理,求按格式解答下案例分析的第一问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
可知不是甲作案,从题意可得是乙作案.