下列属于联言推理的有效式的是
A: (p∧q)→p(或q)
B: ﹙p∨q）∧p〕→q
C: (p，q)→p∧q
D: 〔﹙p→q）∧p〕→q
A: (p∧q)→p(或q)
B: ﹙p∨q）∧p〕→q
C: (p，q)→p∧q
D: 〔﹙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
- 下列属于有效的推理形式的是（）。 A: （(p←q)∧q）→p B: （(p←q)∧¬p）→¬q C: （(p→q)∧¬q）→¬p D: （(p↔q)∧¬p）→¬q
- 充分条件假言推理的有效式是()。 A: (p→q)∧q→p B: (p→q)∧p→q C: (q→p)∧﹁q→﹁p D: (p→q)∧﹁q→﹁p
- 充分条件假言推理的有效式是( )。 A: (p→q)∧q→p B: (q→p)∧q→p C: (q→p)∧p→q D: (q→p)∧﹁q→p