判别下列哪些是命题公式,哪些不是命题公式:
(1)(Q→P∧S).
(2)(Q→S∧P).
(3)((¬P→Q)→(Q→P)).
(4)((P→(Q→R))→((P→Q)→(P→R))).
(5)(QS→K).
与命题公式P→(Q→R)等值的公式是下列4个中的哪一个?
(1)(P∨Q)→R; (2)(P∧Q)→R;
(3)(P→Q)→R; (4)P→(Q∨R).
与命题公式P→(Q→R)等值的公式是下列4个中的哪一个?
(1)(P∨Q)→R (2)(P∧Q)→R
(3)(P→Q)→R (4)P→(Q∨R)
求下列命题公式的主合取范式和主析取范式,并判断公式是否为重言式或矛盾式。
(1) (PvQ)→(PQ)
(2) (P→Q)(P→Q)
(3)(R(∧Q→P))→(P→(QvR))