下面哪个命题公式不是重言式
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)
C
举一反三
- 下面命题公式( )不是重言式。 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
内容
- 0
下列命题公式不是重言式的是() A: Q→（P∨Q） B: （P∧Q）→P C: ￢（P∧￢ Q）∧（￢ P∨Q） D: （P→Q）（￢ P∨Q）
- 1
下列命题公式是重言式的是()。 A: (p→q)∧(q→p) B: (p∧q)→¬p C: (¬p∨q)∨(q→p) D: ¬(p∨q)
- 2
下列命题公式为重言式的是( )。 A: p→(p ˅ q) B: (p ˅¬ p) →q C: q ˄ ¬ q D: p→¬ q
- 3
下列命题公式为重言式的是()。 A: p→(p∨q) B: (p∨┐p)→q C: q∧┐q D: p→┐q
- 4
下面公式()不是合取范式,其中p,q为简单命题。 A: p∧q B: p∨q C: (p∧q)∨(¬p∧q) D: (p∨q)∧(¬p∨q)