问答题试判断以下各式是否为重言式。 (1)(P→Q)→(Q→P) (2)P→(P→Q) (3)Q→(P→Q) (4)(P∧Q)→(P→Q) (5)((P→Q)∨(R→Q))→((P∨R)→Q) (6)((P→Q)∨((R→S))→((P∨R)→(Q∨S))
题目内容(请给出正确答案)
问答题
试判断以下各式是否为重言式。 (1)(P→Q)→(Q→P) (2)P→(P→Q) (3)Q→(P→Q) (4)(P∧Q)→(P→Q) (5)((P→Q)∨(R→Q))→((P∨R)→Q) (6)((P→Q)∨((R→S))→((P∨R)→(Q∨S))