请指出下列文字的逻辑形式，用公式表示之。鸟都是有脊椎骨的；天鹅是鸟；所以，天鹅是有脊椎骨的。
A: 如果p，那么q。
B: 所有M是P；所有S是M；所以，所有S是P。
C: p并且q，而且r。
D: 只有p，才q。
A: 如果p，那么q。
B: 所有M是P；所有S是M；所以，所有S是P。
C: p并且q，而且r。
D: 只有p，才q。
举一反三
- 试例示具有下列命题形式和推理形式的命题或推理.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。
- 下列推理形式中，无效的是（）。 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