下列命题公式不是永真式的是( )。
A: (p→q)→p
B: p→(q→p)
C: ¬p∨(q→p)
D: (p→q)∨p
A: (p→q)→p
B: p→(q→p)
C: ¬p∨(q→p)
D: (p→q)∨p
举一反三
- 下列命题公式不是永真式的是( ) A: (p→q)→p B: p→(q→p) C: ¬p∨(p→q) D: (p→q)∨p
- 下列命题公式是永真式(也叫重言式)的有() A: ¬(P∧Q→Q) B: (P→(P∨Q))∨(P→R) C: (P∨Q)→(P∧R) D: P∧¬P
- 下列命题公式是永假式(也叫矛盾式)的有() A: ¬P∨Q B: (P∧Q)∨(¬P∧¬Q) C: P∨¬P D: (P∧Q)∧¬P
- 下列命题公式不是重言式的是() A: Q→(P∨Q) B: (P∧Q)→P C: ¬(P∧¬ Q)∧(¬ P∨Q) D: (P→Q)(¬ P∨Q)
- 下列命题公式中,不是永真式的有()。 A: p(pq)q B: p(pq) C: p (p q) D: p(pq)q