证明(P→Q)→R等价(P∨R)∧(┐Q∨R)
问题描述:
证明(P→Q)→R等价(P∨R)∧(┐Q∨R)
答
P→Q┐PvQ 所以(P→Q)→R┐(┐PvQ)vR(P∧┐Q)vR(P∨R)∧(┐Q∨R),求采纳!
证明(P→Q)→R等价(P∨R)∧(┐Q∨R)
P→Q┐PvQ 所以(P→Q)→R┐(┐PvQ)vR(P∧┐Q)vR(P∨R)∧(┐Q∨R),求采纳!