下列公式为重言式的是()。
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)
举一反三
- 下列公式为重言式的是()。 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)