下列公式中属于重言式的是:
A: (p→q)→q
B: q→(q→p)
C: (p→q)→p
D: p→(q→p)
A: (p→q)→q
B: q→(q→p)
C: (p→q)→p
D: p→(q→p)
举一反三
- 下列公式中属于重言式的有: A: (p→Øp)→q B: q→(Øq→p) C: (p→p)→Øq D: p→(Øq→p)
- 下列命题公式中,哪个不是重言式? A: Q®(P®Q) B: (P®Q) ® (Q®P) C: ØP®(P®Q) D: P Ù Q®(P«Q)
- 下列命题公式是重言式的是()。 A: (p→q)∧(q→p) B: (p∧q)→¬p C: (¬p∨q)∨(q→p) D: ¬(p∨q)
- 下列公式为重言式的是()。 A: ¬p∧¬q B: (p→¬q)∧p C: (q→p)→p D: (¬p∨q)↔(p→q)
- 下面命题公式( )不是重言式。 A: q→(p∨q) B: (p∧q)→p C: ⦢(p∧⦢q)∧(⦢p∨q) D: (p→q)⟷(⦢p∨q)