如若前提是必然的，则换位的方式亦同样。全称否定判断可以换位成全称判断，而全称肯定判断却只能换位成特称判断。如若A必然不属于任何B，则B也必然不属于任何A；因为如若B可能属于有些A，A也可能属于有些B。如若A必然属于一切或有些B，B也必然会属于有些A；如果这不是必然的，A也就不必然属于有些了。特称否定判断是不能转换的，其原因与我们在上面所说的相同。
再谈可能的前提。“可能”一词有多种含义（因为我们把必然的、不必然的以及潜在的事物都称为可能）。在一切肯定前提中，转换的方式与以前相同。因为如若A可能属于一切或有些B，B也可能属于有些A（如若B不属于任何A，则A也不可能属于任何B，这已经在上面证明过了）。但是，在否定陈述中，情况就不相同了。凡被认为是“可能”的例子，无论陈述必然是真的还是不必然是真的，其转换方式都与以前说过的情况相同。例，有人说，人可能不是一匹马，或白可能不属于任何外衣。在前面例子中，谓项必然不属于主项；在后面的例子中，谓项则不必然属于主项。这种前提的转换与其他否定前提相同。如若马可能不属于任何人，那么人也可能不属于任何马；如若白的可能不属于任何外衣，那么外衣也可能不属于任何白的。因为如若它必定属于有些白的，那么白的也必然属于有些衣服。这在上面已证明过了。特称否定前提的转换方式亦相同。但是，如果在那些由于是经常的或自然的才被认为是可能（我们就是按照这种方式来为“可能”下定义的）的前提中，那么否定前提的换位方式就与上述情况不相同了。全称否定前提不能换位，但特称否定前提却能换位。我们在讨论“可能”时会明白这一点。
除上述内容外，让我们断定下面这一点也同样清楚，即“A是不属于任何B”或“A可能是不属于有些下这样的论述在形式上是肯定的。“可能是”相当于“是”，而系词“是”可附加在作为谓项的任何词项上，它总是而且无例外地具有肯定的结果。例如，“是不善的”、“是不白的”或概而言之“是非调、，这一点也将在以后给予证明。这些前提的转换方式与其他肯定前提一样。
作了这些区分之后，我们现在就可以讨论每个三段论是通过什么途径，在什么时候以及以何种方式产生的。然后，我们必须研究证明。我们之所以要在讨论证明以前先讨论三段论，是因为三段论更加普遍些。证明是一种三段论，但并非一切三段论都是证明。
如若三个词项相互间具有这样的联系，即小词整个包含在中词中，中词整个包含在或不包含在大词中，那么，这两个端词必定能构成一个完善的三段论。我所说的“中词”，是指既包含在另一个词项中又包含着其他词项于自身中的词项。它被称作中词，也是由于它所处的位置的缘故。端词是指包含在另一个词项中的词，或者包含着另一个词项的词。
如果A可以作为一切日的谓项，B可以作一切C的谓项。
那么A必定可以作一切C的谓项。我们在前面已经说明“一个词项作另一个词项的全体的谓项”是什么意思。同样，如果A不能作一切B的谓项，B可作一切C的谓项，那就可以推出，A不能作一切C的谓项。
如果大词属于中词的全体，中词不属于小词的全体，那么，两个端词便构不成三段论。因为从这样的前提中得不出必然的结论。因为大词可能属于小词的全体，也可能不属于小词的全体，结果，既不能必然地推出全称结论，也不能必然地推出特称结论；而如果从前提推不出必然的结论，三段论就不能成立。端词问的肯定联系可用动物——人——马这样的词项来表示，端词问的否定联系可用动物——人——石头这样的词项来表示。
再者，如果大词不属于中词，中词不属于小词，三段论也不能成立。端词间的肯定联系可用科学——线——医学这样的词项来表示，端词间的否定联系可用科学——线——单位这样的词项来表示。
因而，如果词项之间处在一种全称的联系中，那么在这个格中，三段论什么时候能成立，什么时候不能成立就很清楚了。同样清楚的是，如果三段论能成立，词项之间的联系就必定如上所述，如果它们之间具有这样的联系，三段论便能成立。
如果有一个端词跟中词发生全称关系，另一个端词与中词发生特称关系，当全称陈述（无论是肯定的还是否定的）与大词相关，特称陈述是肯定的并且与小词相关时，那么，三段论必定是完善的；但如果全称陈述与小词相关，或者词项间以其他方式相联系时，三段论便不能成立（所谓大词，我是指包含中词的词项；所谓小词，我是指从属于中词的词项）。设定A属于一切B，B属于有些C。如果“一个词项可作另一个词项的全体的谓项”其含义如同我们在一开头时所述人则A必定属于有些C。如果A不属于任何B，属于有些c，那么A必定不属于有些C（我们也曾说明“不作为另一个词项的谓项”是什么意思）。这样，我们就会获得一个完善的三段论。如果BC这一陈述是不定的，但只要它是肯定的，那么情况也相同；因为不论BC是不定的还是特称的，我们都具有同样的三段论。
但是，如果（肯定的或否定的）全称前提与小词相关，那么，无论不定的（或特称的）前提是肯定的还是否定的，三段论都不可能成立。例如，如果A属于或不属于某个，B属于一切C。端词间的肯定联系可表示为：善——品质——明智；端词间的否定联系可表示为：善——品质——无知。
再者，如果B不属于C，A属于或者不属于某个B，即并非一切日都是A。那么，三段论就不能成立。我们可以用下面的词项作例子：白色的——马——天鹅；白色的——马——乌鸦。如果AB这一前提是不定的，也可以用同样的词项为例。