在下列充分条件假言推理形式中,有效的是
A: ((p→﹁q)∧﹁p)→q
B: ((p→﹁q)∧q)→﹁p
C: ((﹁p→q)∧p)→﹁q
D: ((﹁p→﹁q)∧q)→p
A: ((p→﹁q)∧﹁p)→q
B: ((p→﹁q)∧q)→﹁p
C: ((﹁p→q)∧p)→﹁q
D: ((﹁p→﹁q)∧q)→p
A,B,D
举一反三
- 充分条件假言推理的有效式是()。 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
- 在下列充分条件推理形式中,有效的是 A: (p→﹁q)∧﹁p→q B: (p→﹁q)∧q→﹁p C: (﹁p→q)∧p→﹁q D: (﹁p→﹁q)∧q→ p E: (﹁p→q)∧q→﹁p
- 在下列充分条件推理形式中,有效的是()。 A: A(p→﹁q)∧﹁p├q B: B(p→﹁q)∧q├﹁p C: C(﹁p→q)∧p├﹁q D: D(﹁p→﹁q)∧q├p E: E(﹁p→q)∧q├﹁p
- 下列假言推理为有效式的有()。 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
内容
- 0
下列假言推理为有效式的有( ) 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
- 1
下列各推理形式中,有效的推理形式是( )。 A: ((p→﹁q)∧q)→﹁p B: ((p←﹁q)∧﹁p)→q C: ((p↔ q)∧﹁q)→﹁p D: ((p→q)∧p)→q
- 2
在下列推理形式中,推理形式有效的是()。 A: (p∧﹁q)→﹁q B: ((p∨q)∧﹁p)→q C: ((p→q)∧p)→q D: ((p←q)∧﹁p)→﹁q
- 3
下列推理形式中有效的是( ) A: ((¬p→q)∧¬q)→p B: ((p→¬q)∧q)→¬p C: ((p∨¬q)∧p)→q D: ((¬p∨q)∧p)→q
- 4
下列推理形式中有效的是( ) A: ((¬p→q)∧¬q)→p B: ((p→¬q)∧q)→¬p C: ((p∨¬q)∧p)→q D: ((¬p∨q)∧p)→q