已知某有效三段论的大前提为O判断，试证明：(1)其小前提必为A判断;(2)该三段论为第三格OAO式。

大前提为PAM，小前提为MAS的有效三段论，其结论只能是（）。 若一有效三段论的小前提是O命题，则其大前提是A命题，结论是O命题。 一个有效的第一格三段论，若其小前提是A判断，则其大前提可以是（）、（） 以MAP为大前提，SIM为小前提的有效三段论推理，其结论是（）。 一个有效三段论的结论为A命题，则其大前提是（），小前提是（） 一个有效的三段论，若其大前提是MEP，则其小前提可以是（）、（） 一个有效三段论，若大前提为MOP，则小前提只能是（）。 若一个有效的三段论的小前提为SIM，则其大前提可以是（） 以PIM为大前提、MAS为小前提构成三段论，则（）。 已知一个有效三段论的小前提是O命题，则此三段论是第（）格（）式。 一个有效的三段论，若大前提为PEM，则小前提可以是（） 一个有效的三段论，当大前提是MAP时，小前提可以是（）。 一个有效三段论，如果小前提是E命题，则大前提可以是（）. 一个有效的第三格三段论，其大前提为MIP，其小前提应为（），结论应为（） 一个有效三段论，若大前提为PAM，结论为SOP，则其小前提必然为（）。 试用选言证法证明：小前提是O命题的有效三段论必定是第二格三段论。 证明：结论是否定的有效三段论，其大前提不能为I判断 一个正确的三段论，其大前提是特称否定判断，这个三段论的小前提和结论各是什么判断？它属于第几格？为什么？ 以MAP为大前提，SIP为结论的有效三段论，它的小前提可以是（）。 如果一个有效三段论的大前提是特称否定命题，则其小前提应当是（）.