下列命题公式中,逻辑等值式成立的是()。
A: p↔q=¬q↔¬p
B: p→q=q→p
C: ¬(p∨q)=¬p∨¬q
D: p∧(q∨p)=q
A: p↔q=¬q↔¬p
B: p→q=q→p
C: ¬(p∨q)=¬p∨¬q
D: p∧(q∨p)=q
A
举一反三
- 下列命题公式中，逻辑等值式成立的是( )。 A: p→q ⇔ ¬p∨q B: p→q ⇔ q→p 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)
- 与命题公式“p → q ”逻辑等值的有（ ）。 A: q∨p B: (p∧ｑ) C: ｐ∨q D: ｐ→ｑ
- 下列命题公式中是永假式的是:()。 A: (¬p∧q)∧(p∧¬q) B: (¬p∨q)∧(p∨¬q) C: (¬p∨q)∨(p∨¬q) D: (¬p∧q)∨(p∧¬q)
- 命题公式p→(q→r)与以下哪些命题公式等值（） A: (p∧q)→ B: (p∨q)→ C: ¬p∨¬q∨ D: ¬p∧¬q∧ E: p→q→
内容
- 0
与命题公式“p<br/>→ q ”逻辑等值的有( <br/>)。 A: q∨p B: (p∧q) C: p∨q D: 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→Q)↔(¬Q→¬P) B: (P→Q)→(¬Q→¬P) C: (P→Q)→(¬P→¬Q) D: (P→Q)↔(¬P→¬Q)
- 3
命题公式p↔q与(p∧q)∨(¬p∧¬q)等值。
- 4
下列命题公式中,不是永真式的有()。 A: p(pq)q B: p(pq) C: p (p q) D: p(pq)q