以“所有P是M，所有S不是M”为前提进行三段论推理，可必然推出（）。

1、以“有S是M，所有P不是M”为前提进行三段论推理，将所得结论再进行变形法直接

以“有S是M，所有P不是M”为前提进行三段论推理，将所得结论再进行变形法直接推理，可得出的结论有（）.A有非P是SB有P不是SC所有P不是SD有S是PE有S是非P

2、在三段论推理“所有P都是M；有的S不是M；所以，有的S不是P”中（）

在三段论推理“所有P都是M；有的S不是M；所以，有的S不是P”中（）A小项在前提和结论中均周延B小项在前提和结论中均不周延C大项在前提和结论中均不周延D中项在前提中周延两次

3、若“有S不是P”为真，则“所有非P不是S”为（）。

若“有S不是P”为真，则“所有非P不是S”为（）。

4、以“所有P是M，有S不是M”为前提，进行三段论推理，其正确的结论是（）。

以“所有P是M，有S不是M”为前提，进行三段论推理，其正确的结论是（）。A有的S是PB所有S都是PC有的S不是PD所有S都不是P

5、如果一个有效三段论的大前提为O判断，试问它是第几格三段论？请分别以S、M、P

如果一个有效三段论的大前提为O判断，试问它是第几格三段论？请分别以S、M、P为小项、中项、大项，写出它的逻辑形式。

6、以“如果所有A是B，那么所有A是C”和“有A不是C”为前提进行推理，能必然推

以“如果所有A是B，那么所有A是C”和“有A不是C”为前提进行推理，能必然推出结论（）。A所有A是BB所有A不是BC有A是BD有A不是B