下面命题公式( )不是重言式。
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: (pq)(pq) B: (pq)q C: p(pq) D: (pq)(pq)
- 下列命题公式中，哪个不是重言式？ 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: (p→q)∧(q→p) B: (p∧q)→¬p C: (¬p∨q)∨(q→p) D: ¬(p∨q)