下列命题公式中是永假式的是:()。
A: (¬p∧q)∧(p∧¬q)
B: (¬p∨q)∧(p∨¬q)
C: (¬p∨q)∨(p∨¬q)
D: (¬p∧q)∨(p∧¬q)
A: (¬p∧q)∧(p∧¬q)
B: (¬p∨q)∧(p∨¬q)
C: (¬p∨q)∨(p∨¬q)
D: (¬p∧q)∨(p∧¬q)
A
举一反三
- 下列命题公式中,为永真式的是( )。 A: (p→q) ↔ (¬p∨q) B: (p→q)↔( q→p) C: ¬p∨¬(p∨q) D: (¬q∧¬p)∨(q∧p)
- 下列命题公式中为永真式的有( ) A: (P→Q)↔(¬Q→¬P) B: (P→Q)→(¬Q→¬P) C: (P→Q)→(¬P→¬Q) D: (P→Q)↔(¬P→¬Q)
- 下列命题公式是永真式的是() A: .(P∧﹁P)«Q B: .﹁(P®Q)∧Q C: .(P®Q)∨﹁Q D: .(P∨P)∧(P®﹁P)
- 下列命题公式中,不是永真式的有()。 A: p(pq)q B: p(pq) C: p (p q) D: p(pq)q
- 下列命题公式为永真蕴含式的是( )。 A: (P∧Q)→P B: P→(P∧Q) C: Q→(P∧Q) D: (P∨Q)→Q
内容
- 0
下列命题公式中,逻辑等值式成立的是()。 A: p↔q=¬q↔¬p 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∨q) ⇔ ¬p∨¬q D: p∧(q∨p) ⇔ q
- 2
对于命题p、q,下列 不是永真式。 A: (p∧q)→p B: ¬(p→q) →p C: (¬q∧(p→q)) →¬p D: (p∨q)→q
- 3
下列命题公式不是永真式的是( )。 A: (p→q)→p B: p→(q→p) C: ¬p∨(q→p) D: (p→q)∨p
- 4
下列命题公式不是永真式的是( ) A: (p→q)→p B: p→(q→p) C: ¬p∨(p→q) D: (p→q)∨p