下列属于有效的推理形式的是（）。
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: （(p→q)∧¬q）→¬p
D: （(p↔q)∧¬p）→¬q
举一反三
- 下列属于有效的推理形式的是（）。 A: （(p∨q)∧¬q）→p B: （(p∨q)∧p）→q C: （(p∨q)∧p）→¬q D: （p∧q）→p
- 下列属于有效的推理形式的是（）。 A: （(p∨q)∧¬q）→p B: （(p∨q)∧p）→q C: （(p∨q)∧p）→¬q D: （p∧q）→p
- 下列各推理形式中，有效的推理形式是（ ）。 A: （(p→﹁q)∧q）→﹁p B: (（p←﹁q)∧﹁p）→q C: （(p↔ q)∧﹁q）→﹁p D: （(p→q)∧p）→q
- 在下列推理形式中，推理形式有效的是（）。 A: (p∧﹁q）→﹁q B: （(p∨q)∧﹁p）→q C: （(p→q)∧p）→q D: （(p←q)∧﹁p）→﹁q
- 下列推理形式中有效的是( ) A: ((¬p→q)∧¬q)→p B: ((p→¬q)∧q)→¬p C: ((p∨¬q)∧p)→q D: ((¬p∨q)∧p)→q