p←q的等值判断形式是()
A: p∧q
B: (p∨﹁q)
C: (pVq)
D: (﹁pV-q)
A: p∧q
B: (p∨﹁q)
C: (pVq)
D: (﹁pV-q)
举一反三
- 与（p→q）等值的命题形式有（） 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)
- 下列各组命题中，具有等值关系的是（ ）。 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: （(pVqVr) ∧¬ q）→pVr B: （( ¬pVq) ∧¬p）→q C: （(p→¬q) ∧q） →¬p D: （(p→q) ∧¬p）→q
- 与┓（p←q）等值的判断是（）。 A: p∧q B: p→q C: ┓p∧q D: p∨q