与（p→q）等值的命题形式有（）
A: （~pVq）
B: ~（pV~q）
C: （q←p）
D: （~p←~q）
E: （~q→~p）
A: （~pVq）
B: ~（pV~q）
C: （q←p）
D: （~p←~q）
E: （~q→~p）
A,B,C,D,E
举一反三
- 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: ¬(¬p→¬q) D: ¬(p←q)
- 下列各组命题中，具有等值关系的是（ ）。 A: ¬p∨ ̇¬q与¬p∧¬q B: p→¬q与¬q→¬p C: ¬（p←q）与p∧¬q D: ¬p∨¬q与¬p← q E: ¬p→q与pVq
- 下列命题形式等值的是( )组。 A: p∨﹁q与﹁p∨q B: ﹁p↔q与p∧﹁q C: ﹁(p←﹁q)与﹁p∧q D: ﹁(p∨﹁q)与﹁p∧q
- p←q的等值判断形式是() A: p∧q B: (p∨﹁q) C: (pVq) D: (﹁pV-q)
内容
- 0
命题公式p→(q→r)与以下哪些命题公式等值（） A: (p∧q)→ B: (p∨q)→ C: ¬p∨¬q∨ D: ¬p∧¬q∧ E: p→q→
- 1
“¬pÙq”的负命题的等值命题是（ ）。 A: pÙ¬q B: p→q C: ¬pÚq D: pÚ¬q E: ¬p→¬q
- 2
与命题公式“p → q ”逻辑等值的有（ ）。 A: q∨p B: (p∧ｑ) C: ｐ∨q D: ｐ→ｑ
- 3
以下与命题P®Q等值的命题是（）。 A: ØPÚQ B: ØQÚP C: ØPÙQ D: ØQÙP
- 4
与﹁(﹁p←q)等值的命题是( ) A: ﹁p⊙q B: ﹁p∨q C: ﹁p↔ q D: p∧q