下面哪个命题公式不是重言式
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: Q®(P®Q) B: (P®Q) ® (Q®P) C: ØP®(P®Q) D: P Ù Q®(P«Q)
- 下面命题公式是重言式的为( )。 A: (pq)(pq) B: (pq)q C: p(pq) D: (pq)(pq)
- 下面哪个命题公式是重言式（ ）。 A: (p→q)∧(q→r) B: (p∧q)→p C: (￢p∨q)∧￢(p∧￢q) D: ￢(p∨q)∧p
- 下面哪个命题公式是矛盾式（ ）。 A: p→q B: (p∧q)→p C: ┐(p→q)∧q D: p∨q