下列等值关系成立的命题有( )
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,B,C,D
举一反三
- 下列命题公式中,逻辑等值式成立的是()。 A: p↔q=¬q↔¬p B: p→q=q→p C: ¬(p∨q)=¬p∨¬q D: p∧(q∨p)=q
- 下列命题公式中，逻辑等值式成立的是( )。 A: p→q ⇔ ¬p∨q B: p→q ⇔ q→p C: ¬(p∨q) ⇔ ¬p∨¬q D: p∧(q∨p) ⇔ q
- p∧q的等值命题有（ ）。 A: ¬ (q←p) B: ¬ (p←¬q) C: q←p D: ¬ (¬pV¬q) E: ¬ (p→q)
- P→q的等值命题是（ ） A: P→q B: P∨q C: q←P D: P←→q
- “¬pÙq”的负命题的等值命题是（ ）。 A: pÙ¬q B: p→q C: ¬pÚq D: pÚ¬q E: ¬p→¬q
内容
- 0
下列与p∨﹁q等值的命题是？ A: ﹁(p∧﹁q) B: ﹁p∨q C: ﹁(﹁p∧q) D: ﹁(p→﹁q)
- 1
下列命题形式等值的是( )组。 A: p∨﹁q与﹁p∨q B: ﹁p↔q与p∧﹁q C: ﹁(p←﹁q)与﹁p∧q D: ﹁(p∨﹁q)与﹁p∧q
- 2
下列命题形式中,与¬p∧q等值的有( ) A: ¬(p∨¬q) B: ¬(p∨q) C: ¬(¬p→¬q) D: ¬(p←q)
- 3
与﹁(﹁p←q)等值的命题是( ) A: ﹁p⊙q B: ﹁p∨q C: ﹁p↔ q D: p∧q
- 4
与命题公式“p → q ”逻辑等值的有（ ）。 A: q∨p B: (p∧ｑ) C: ｐ∨q D: ｐ→ｑ