下列属于有效的推理形式的是()。
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)∧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