下列负判断的等值判断，其有效式是（）
A: ∧→p∨q
B: p∨q→p∧q
C: p∨q→（p∧q）∨（∧）
D: p→q→∧q
E: p←q→p∧
A: ∧→p∨q
B: p∨q→p∧q
C: p∨q→（p∧q）∨（∧）
D: p→q→∧q
E: p←q→p∧
举一反三
- 一p∧q的等值判断有（）。 A: p→q B: （p←q） C: （p→q） D: （p∨q） E: （q→p）
- 与┓（p←q）等值的判断是（）。 A: p∧q B: p→q C: ┓p∧q D: p∨q
- 下列判断中违反矛盾律要求的是（ ）。 A: (p∨﹁q)∧(﹁p∧q) B: (p→﹁q) ∧(﹁p∨q) C: (p→q) ∧(﹁p∨q) D: (p∨q) ∧(﹁p∨﹁q) E: (﹁p∧﹁q)∧(﹁p→q)
- 下列假言推理为有效式的有（）。 A: （﹁p→q）∧p├﹁q B: （p→﹁q）∧q├﹁p C: （﹁p←﹁q）∧﹁p├q D: （p←﹁q）∧﹁q├p E: （p→﹁q）∧p├﹁q
- 下列假言推理为有效式的有（ ） A: ((﹁p→q)∧p)→﹁q B: （(p→﹁q) ∧q）→﹁p C: （(﹁q→﹁p)∧﹁）p→q D: （(﹁q→p)∧﹁q）→p E: （(p→﹁q)∧p）→﹁q