单项选择题 如果一个有效三段论的大前提是特称否定命题，则其小前提应当是（）.

单项选择题 已知一个三段论的大前提是A命题，小前提是O命题，如果要使之得出必然有效的结论，则此三段论只能是（）

单项选择题 下列三段论为有效式的是（其中符号∧表示同时肯定两个前提）（）.