单项选择题
已知一个三段论的大前提是A命题，小前提是O命题，如果要使之得出必然有效的结论，则此三段论只能是（）
A.第一格 B.第二格 C.第三格 D.第四格
单项选择题 下列三段论为有效式的是（其中符号∧表示同时肯定两个前提）（）.
单项选择题 “有些S是M，所有P不是M，所以有些S不是P”这个三段论是（）.
单项选择题 由MEP和SAM推出SIP，此三段论违反的规则是（）.
