试例示具有下列命题形式和推理形式的命题或推理.1．所有S都不是P。2．要么r，要么s。3．如果p，那么q；非q；所以非p。4．所有M都是P，S都是M，所以S都是P。
举一反三
- 下列推理中违反了三段论规则的是（）。 A: 所有M都是P，所有S都是M，所以，所有S都是P。 B: 所有M都是P，有S是M，所以，有S不是P。 C: 所有P都不是M，有M是S，所以，有S是P。 D: 所有P都不是M，所有S都不是M，所以，所有S都不是P。
- 请列举具有下列逻辑形式的具体判断和推理：1、一切S都不是P;2、有的S是P;3、如果p那么q;4、如果p，那么q;非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: 如果非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: 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