下列公式是矛盾式的是( )。
A: (P∧(P→Q))∧﹁P
B: P∧(P→Q) →P
C: (﹁P∧(P∨Q))∨Q)
D: (Q∨﹁(P→Q))∧﹁Q
A: (P∧(P→Q))∧﹁P
B: P∧(P→Q) →P
C: (﹁P∧(P∨Q))∨Q)
D: (Q∨﹁(P→Q))∧﹁Q
A
举一反三
- 下列命题公式为矛盾式的是（ ）。 A: （p→q）∨q B: ¬(p→q)∧q C: ¬p∧(p→q) D: ¬(p→q)
- 下列命题公式为矛盾式的是( ) A: (p®q)Ùp B: (pÚq)®Ør C: Ø(ØpÚq)Ùq D: p«qÙp
- 下列命题公式中是永假式的是:()。 A: (¬p∧q)∧(p∧¬q) B: (¬p∨q)∧(p∨¬q) C: (¬p∨q)∨(p∨¬q) D: (¬p∧q)∨(p∧¬q)
- 下面哪个命题公式是矛盾式（ ）。 A: p→q B: (p∧q)→p C: ┐(p→q)∧q D: p∨q
- 下列命题公式中,逻辑等值式成立的是()。 A: p↔q=¬q↔¬p B: p→q=q→p C: ¬(p∨q)=¬p∨¬q D: p∧(q∨p)=q
内容
- 0
下列命题公式中，逻辑等值式成立的是( )。 A: p→q ⇔ ¬p∨q B: p→q ⇔ q→p C: ¬(p∨q) ⇔ ¬p∨¬q D: p∧(q∨p) ⇔ q
- 1
下列命题公式中,为永真式的是( )。 A: (p→q) ↔ (¬p∨q) B: (p→q)↔( q→p) C: ¬p∨¬(p∨q) D: (¬q∧¬p)∨(q∧p)
- 2
下列命题公式是永真式的是（） A: ．(P∧﹁P)«Q B: ．﹁(P®Q)∧Q C: ．(P®Q)∨﹁Q D: ．(P∨P)∧(P®﹁P)
- 3
下列命题公式中为永真式的有( ) A: (P→Q)↔(¬Q→¬P) B: (P→Q)→(¬Q→¬P) C: (P→Q)→(¬P→¬Q) D: (P→Q)↔(¬P→¬Q)
- 4
下列公式成立的为( ) A: ØP∧ØQÛP∨Q B: P®ØQÛØP®Q C: Q®PÞP D: ØP∧(P∨Q)ÞQ