根据论证方式所使用推理形式的不同，论证分为（）和归纳论证。

判断 的负判断的等值判断是（）

• A、

• B、p→q

• C、

• D、

• E、

三段论第三格的结构是:

试运用三段论基本规则证明第三格的小前提必须是肯定的。