与p→¬ q具有矛盾关系的是（ ）。
A: pVq
B: ¬ pVq
C: p∧q
D: ¬ p∧¬ q
A: pVq
B: ¬ pVq
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
- 与（p→q）等值的命题形式有（） A: （~pVq） B: ~（pV~q） C: （q←p） D: （~p←~q） E: （~q→~p）
- 下列推理形式有效的是（ ）。 A: （(pVqVr) ∧¬ q）→pVr B: （( ¬pVq) ∧¬p）→q C: （(p→¬q) ∧q） →¬p D: （(p→q) ∧¬p）→q
- 下列各组命题形式中，具有不可同真可以同假关系的是（ ）。 A: SAP与SOP B: pVq与p^q C: p→q与¬p^q D: p→q与q→p
- 当pvq为假，下面（ ）为真 A: p∧q B: p⊙q C: ～p⊙q D: p∧～q