下列推理形式中有效的是( )
A: ((¬p→q)∧¬q)→p
B: ((p→¬q)∧q)→¬p
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
A,B,D
举一反三
- 在下列推理形式中，推理形式有效的是（）。 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
- 下列推理形式中有效的是( ) A: ((¬p→q)∧¬q)→p B: ((p→¬q)∧q)→¬p C: ((p∨¬q)∧p)→q 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)∧﹁p→q B: (p→﹁q)∧q→﹁p C: (﹁p→q)∧p→﹁q D: (﹁p→﹁q)∧q→ p E: (﹁p→q)∧q→﹁p
内容
- 0
下列非有效的推理形式有（）。 A: （p→q）∧P→q B: （q→q）∧q→p C: （p→q）∧q→q D: （q→q）∧q→p E: （p→q）∧q→p
- 1
下列属于有效的推理形式的是（）。 A: （(p∨q)∧¬q）→p B: （(p∨q)∧p）→q C: （(p∨q)∧p）→¬q D: （p∧q）→p
- 2
下列属于有效的推理形式的是（）。 A: （(p∨q)∧¬q）→p B: （(p∨q)∧p）→q C: （(p∨q)∧p）→¬q D: （p∧q）→p
- 3
下列推理中，有效的是 （ ） A: p ← ﹁q ﹁q ________ p B: ﹁p∨﹁q ﹁P _______ q C: ﹁p∨q ﹁q ______ ﹁p D: ﹁p → ﹁q ﹁q __________ ﹁p E: ﹁p ← ﹁q p ______________ ﹁q
- 4
下列推理形式中，有效的是 A: (p∨～q)∧p→～q B: (p→～q)∧q→～p C: (～p←q)∧q→～p D: (p∨～q)∧q→～p E: [(p→q)∧(r→s)∧(～p∨～r)]→(～q∨～s)