但是，如果结论是在相矛盾的意义แ上被转换，则两个前提都可被反驳。因为如果不属于任何b，b属于所有，则不属于任何。再者，如果不属于任何bຘ，但属于所有，则b不属于任何。如果另个ฐ前提不是全称的，则同样的道理也适用。因为ฦ如果不属于任何b，b属于某个，则不属于某个。如果不属于任何bຘ，但属于所有，则bຘ不属于任何。
但是，如果结论是在相矛盾的意义上被转换，则两ä个ฐ前提都可被反驳。因为如果不属于任何b，bຘ属于所有，则不属于任何。再者，如果不属于任何b，但属于所有，则b不属于任何。如果另个前提不是全称的，则ท同样的道理也适用。因为如果不属于任何bຘ，b属于某个，则不属于某个。如果不属于任何b，但属于所有，则b不属于任何。
在我们后面讨论归谬法时，这些论点会变得更加清楚。现在，让我们设定这些都已๐经很清楚。无论是要求直接证明个ฐ结论还是用归谬法去证明个结论，我们都必须ี注意相同的词项。但是，在其他假设性的三段论中，例如，涉及到替换或性质联系时，研究所涉及的不是原来设定的词项而是被替换的词项ำ，而研究的方法则ท与以前相同。但是，我们必须考虑和分析假设性三段论的不同类型。
在我们后面讨论归谬法时，这些论点会变得更加清楚。现在，让我们设定这些都已经很清楚。无论是要求直接证明个结论还是用归谬法去证明个结论，我们都必须注意相同的词项。但是，在其他假设性的三段论中，例如，涉及到เ替换或性质联系时，研究所涉及的不是原来设定的词项而是被替换的词项，而研究的方法则ท与以前相同。但是，我们必须考虑和分析假设性三段论的不同类型。
在特称三段论中，如果全称前提是必然的，结论也会是必然的；但是，如果特称前提是必然的，那么不管全称前提是肯定的还是否定的，结论都不是必然的。让我们首先设定，全称前提是必然的，必然属于所有b，b仅能属于某个。由此可得的结论定是：必然属于某个。因为是归属于b的。而根据设定，必然属于所有b。如果三段论是否定的，情况亦同样，因为ฦ证明是相同的。但如果特称前提是必然的，结论却不会是必然的。否定这点并不会产生什么เ不可能的结果，正如在全称三段论中ณ不会产生不可能的结果样。否定前提的情况亦相同，可作例证的词项ำ是：运动动物白色的。
在特称三段论中，如果全称前提是必然的，结论也会是必然的；但是，如果特称前提是必然的，那么เ不管全称前提是肯定的还是否定的，结论都不是必然的。让我们首先设定，全称前提是必然的，必然属于所有bຘ，b