下列公式是重言式的是()。
A: pq
B: ¬(p→q)∧q
C: p→(p∧q)
D: (p∧q)→(p∧q)
A: pq
B: ¬(p→q)∧q
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: (p→q)→q B: q→(q→p) C: (p→q)→p D: p→(q→p)
- 下列命题公式为重言式的是( )。 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