下列命题公式为重言式的是( )。
A: p→(p ˅ q)
B: (p ˅¬ p) →q
C: q ˄ ¬ q
D: p→¬ q
A: p→(p ˅ q)
B: (p ˅¬ p) →q
C: q ˄ ¬ q
D: p→¬ q
举一反三
- 下列命题公式中，哪个不是重言式？ A: Q®(P®Q) B: (P®Q) ® (Q®P) C: ØP®(P®Q) D: P Ù Q®(P«Q)
- 下列命题公式为重言式的是( )。 A: p→(p ˅ q) B: (p ˅¬ p) →q C: q ˄ ¬ q D: p→¬ q
- 下列命题公式为重言式的是()。 A: p→(p∨q) B: (p∨┐p)→q C: q∧┐q D: 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)