与(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)
举一反三
- 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)