命题公式( )是永假式。
A. P→(P∨Q∨R)
B. (P→┐P)→┐P
C. ┐(Q→Q)∧Q
D. ┐(Q∨┐P)→(P∧┐P)
命题公式﹁B→﹁A等价于( )。
A. ﹁A∨﹁B
B. ﹁(A∨B)
C. ﹁A∧﹁B
D. A→B
命题“如果他努力,他将成功。”的逆反式为( )。
A. 如果他没有努力,他将不成功。
B. 如果他成功,他就努力。
C. 如果他不成功,他就没有努力。
D. 如果他不成功,他就努力。
命题公式P→Q的反换式是( )。
A. ¬Q→¬P
B. ¬P→¬Q
C. ¬P→Q
D. P→¬Q