“如果机器更新，那么生产就能发展；A公司的生产没能发展；所以，A公司的机器没有更新。”这个推理形式是（）。
A: （（p→q）∧﹁q）→﹁p
B: （（p→q）∧p）→q
C: （（p←q）∧p）→q
D: （（p←q）∧﹁p）→﹁q
A: （（p→q）∧﹁q）→﹁p
B: （（p→q）∧p）→q
C: （（p←q）∧p）→q
D: （（p←q）∧﹁p）→﹁q
举一反三
- 以下推理形式，有效式是 ( ) A: 如果¬p那么q；p；所以¬q B: 要么p要么q；q；所以¬p C: 只有p才¬q；q；所以¬p D: 只有¬p才¬q；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）→p B: (（p←q)∧﹁q）→﹁p 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