结构推理
证明：(不用真值表法)
(1)(P∧Q)∨￢P=￢P∨Q．
(2)(P∧Q)→R=(P→R)∨(Q→R)．
(3)P→(Q→R)=(P∧￢R)→￢Q．
【正确答案】(1)证明 (P∨Q)∨￢P=(P∨￢P)∧(Q∨￢P)
=1∧(Q∨￢P)
=￢P∨Q．
(2)证明 (P∧Q)→R=￢(P∧Q)∨R
=(￢P∨￢Q)∨R
=￢P∨R∨￢Q∨R
=(P→R)∨(Q→R)．
(3)证明 _P→(Q→R)=￢P∨(￢Q∨R)
=￢P∨R∨￢Q
=￢(P∧￢R)∨￢Q
=(P∧￢R)→￢Q．
【答案解析】