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