下列推理形式中，有效式是（）。
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；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，那么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
- 下列推理形式中，无效式是（） A: 只有非p，才q；非p所以非q B: p要么非q；q所以p C: 如果p且q，那么r；非p或非q，所以非r D: p且非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，p，所以，q B: 如果p，那么q，非q，因此，非p C: 如果p，那么q；如果r，那么s；或者p，或者 D: 如果p，那么q；如果q，那么r；因此，如果p，那么 E: 如果p，那么q；如果r，那么s；或者非q，或者非s；所以，或者非p，或者非