多项选择题
以“有S是M，所有P不是M”为前提进行三段论推理，将所得结论再进行变形法直接推理，可得出的结论有（）.
A.有非P是S B.有P不是S C.所有P不是S D.有S是P E.有S是非P
多项选择题 如果一个有效三段论的结论是全称肯定命题，则它的中项（）.
多项选择题 “科学是有用的，逻辑学是科学，所以逻辑学是有用的”，这个推理不是（）.
多项选择题 一个有效三段论，如果小前提是E命题，则大前提可以是（）.
