试用选言证法证明：小前提是O命题的有效三段论必定是第二格三段论。