下列命题公式中，哪个不是重言式？
A: Q®(P®Q)
B: (P®Q) ® (Q®P)
C: ØP®(P®Q)
D: P Ù Q®(P«Q)
A: Q®(P®Q)
B: (P®Q) ® (Q®P)
C: ØP®(P®Q)
D: P Ù Q®(P«Q)
举一反三
- 下面哪个命题公式不是重言式 A: Q → (P ∨ Q) B: (P ∧Q)→ P C: ¬(P ∧ ¬Q) ∧ (¬P ∨ Q) D: (P→Q)↔(¬P ∨ Q)
- 下面命题公式( )不是重言式。 A: q→(p∨q) B: (p∧q)→p C: ⦢(p∧⦢q)∧(⦢p∨q) D: (p→q)⟷(⦢p∨q)
- 下列命题公式不是重言式的是() A: Q→（P∨Q） B: （P∧Q）→P C: ￢（P∧￢ Q）∧（￢ P∨Q） D: （P→Q）（￢ P∨Q）
- 下列命题公式是重言式的是()。 A: (p→q)∧(q→p) B: (p∧q)→¬p C: (¬p∨q)∨(q→p) D: ¬(p∨q)
- 下面命题公式是重言式的为( )。 A: (pq)(pq) B: (pq)q C: p(pq) D: (pq)(pq)