单项选择题
如果一个有效三段论的大前提是特称否定命题，则其小前提应当是（）.
A.SEM B.SAM C.MAS D.MIS
单项选择题 已知一个三段论的大前提是A命题，小前提是O命题，如果要使之得出必然有效的结论，则此三段论只能是（）
单项选择题 下列三段论为有效式的是（其中符号∧表示同时肯定两个前提）（）.
单项选择题 “有些S是M，所有P不是M，所以有些S不是P”这个三段论是（）.
