AMEP
BMAP
CPAM
DMIP
（多选题）
下列各式作为三段论第一格推理形式，有效的是（）.
答案解析
下列各式作为三段论第二格推理形式，有效的是（）.
（单选题）
三段论的推理形式有效，并且前提真实，对获得真实结论来说是（）。
下列三段论形式为有效式的有（）.
下列命题变形直接推理形式为有效式的有（）.
下列推理形式中，有效式是（）。
必要条件假言三段论推理的有效式是（）
下列推理中，根据对当关系中的反对关系然而进行的有效形式是（）。
以MAP为大前提，SIM为小前提的有效三段论推理，其结论是（）。
