有的S是P
所有S都是P
有的S不是P
所有S都不是P
第1题：
如果所有的M都是P，所有的S都是M，那么，所有的S都是P。这是一个三段论演绎推理模式。
第2题：
在三段论推理“所有P都是M；有的S不是M；所以，有的S不是P”中（）
第3题：
第4题：
以“所有P是M，有S不是M”为前提，进行三段论推理，其正确的结论是（）。
第5题：
以“有S是M，所有P不是M”为前提进行三段论推理，将所得结论再进行变形法直接推理，可得出的结论有（）.
第6题：
以“所有P是M”、“所有S不是M”为大小前提进行三段论推理，可必然推出（）
第7题：
一个有效三段论，如果小前提是E命题，则大前提可以是（）.
第8题：
以“所有P是M，有S不是M”为前提，进行三段论推理，推理正确的结论是（ ）。
第9题：
以“所有P是M”、“所有S不是M”为大小前提，进行三段论推理，可必然推出（）。
第10题：
以“所有的P是M”，“所有的S不是M”为大、小前提进行三段论推理，不能必然推出（）、（）、（）。