下列公式为重言式的是()。
A: ¬p∧¬q
B: (p→¬q)∧p
C: (q→p)→p
D: (¬p∨q)↔(p→q)
A: ¬p∧¬q
B: (p→¬q)∧p
C: (q→p)→p
D: (¬p∨q)↔(p→q)
D
举一反三
- 下列公式为重言式的是()。 A: ¬p∧¬q B: (p→¬q)∧p C: (q→p)→p D: (¬p∨q)↔(p→q)
- 下列公式中属于重言式的是: A: (p→q)→q B: q→(q→p) C: (p→q)→p D: p→(q→p)
- 下列命题公式中,哪个不是重言式? 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: pq B: ¬(p→q)∧q C: p→(p∧q) D: (p∧q)→(p∧q)
内容
- 0
下列公式中属于重言式的有: A: (p→Øp)→q B: q→(Øq→p) C: (p→p)→Øq D: p→(Øq→p)
- 1
下列公式为重言式的是() A: p→(p∧q) B: ¬p→(p∧q) C: (p∧q)→p D: (p∧q)→¬q
- 2
下面命题公式是重言式的为( )。 A: (pq)(pq) B: (pq)q C: p(pq) D: (pq)(pq)
- 3
下列命题公式为重言式的是( )。 A: p→(p ˅ q) B: (p ˅¬ p) →q C: q ˄ ¬ q D: p→¬ q
- 4
下列命题公式为重言式的是()。 A: p→(p∨q) B: (p∨┐p)→q C: q∧┐q D: p→┐q