在以下假言推理中,有效式是()
A: ((→)∧p)→q
B: ((→)∧)→
C: (→)∧)→(
D: ((p←)∧p)&rarr
A: ((→)∧p)→q
B: ((→)∧)→
C: (→)∧)→(
D: ((p←)∧p)&rarr
举一反三
- 充分条件假言推理的有效式是()。 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
- 下列假言推理为有效式的有()。 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