试运用三段论基本规则证明：第二格的有效三段论前提中必须有一个是否定命题。