以下推理形式，有效式是 ( )
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
举一反三
- 下列五个推理形式中，有效的是 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