以下推理形式，有效式是 ( )
A: 如果¬p那么q；p；所以¬q
B: 要么p要么q；q；所以¬p
C: 只有p才¬q；q；所以¬p
D: 只有¬p才¬q；q；所以p
A: 如果¬p那么q；p；所以¬q
B: 要么p要么q；q；所以¬p
C: 只有p才¬q；q；所以¬p
D: 只有¬p才¬q；q；所以p
B
举一反三
- 下列五个推理形式中，有效的是 A: 或者p，或者q；非p；所以q B: 要么p，要么q；非p；所以非q C: 如果非p，那么q；p；所以q D: 只有p，才非q；非p；所以q E: 只有p，才q；非p；所以q
- 下列推理形式中，有效式是（）。 A: 如果非p，那么非q；q；所以p B: 要么非p，要么q；非p；所以非q C: 只有非p，才q；非p；所以q D: 如果p，那么非q；非p；所以q E: p并且q并且r；所以p并且r
- 下列推理形式中，无效式是（） A: 只有非p，才q；非p所以非q B: p要么非q；q所以p C: 如果p且q，那么r；非p或非q，所以非r D: p且非q；所以p
- 下列推理形式中，无效的是（）。 A: 如果p，那么r；如果非p，那么r；P或者非P；所以r B: 只有非P，才q；非p；所以非q C: 要么p，要么q；q；所以p D: 如果p并且q，那么r；非p或者非q；所以；非r E: p并且非q，所以p
- 下列推理形式中，无效的是（）。 A: A如果p，那么r；如果非p，那么r；P或者非P；所以r B: B只有非P，才q；非p；所以非q C: C要么p，要么q；q；所以p D: D如果p并且q，那么r；非p或者非q；所以；非r E: Ep并且非q，所以p
内容
- 0
下列属于有效的推理形式的是（）。 A: （(p∨q)∧¬q）→p B: （(p∨q)∧p）→q C: （(要么p要么q)∧¬q）→p D: （(要么p要么q)∧q）→¬p
- 1
当“p或者q”为假时,则( )为真: A: p并且q B: 如果p那么q C: 要么p要么q D: 只有p才q
- 2
以下属于无效论证的是(): P;Q;所以P合取Q。|并非P合取Q;P;所以非Q。|并非P合取Q;Q;所以非P。|并非P合取Q;非P;所以Q。
- 3
在以下各种演绎论证中，哪个属于无效推理： A: 如果p，则qp所以：q B: 如果p，则q非q所以：非p C: 如果p，则q如果q，则r所以：如果p，则r D: 或者p，或者q非p所以：q E: 如果p，则qq所以：p F: 如果p，则q非p所以：非q G: 或者p，或者qp所以：非q
- 4
以下属于无效论证的是（）。 A: 并非P合取Q；P；所以非Q。 B: 并非P合取Q；Q；所以非P。 C: 并非P合取Q；非P；所以Q。 D: P；Q；所以P合取Q。