再者，设定AC是否定的，BC是肯定的。否定前提是必然的。既然通过转换，C属于某个B，A必然不属于任何，那么，A也必然不属于某个B。因为B从属于C，但如果肯定前提是必然的，则结论就不是必然的。让BC是肯定的，并且是必然的，AC是否定的，不必然的。由于肯定判断可以换位，C必然属于某个B。所以，如果A不属于任何C，C必然属于某个B，则A不属于某个B。但这并非出于必然；在第一格中已经证明，如果否定前提不是必然的，那么结论也就不是必然的。
如果用某些词项作例于，那么这种情况会变得十分清楚。设定A表示“好的”、B表示“动物”、C表示“马”，那么，好的可能不属于任何马，而动物必定属于所有马。但“动物不是好的”这一陈述并不是必然的。因为每种动物都可能是好的。或者如果这是不可能的，那就以“醒”与“睡”这两个词项作例子，因为每种动物都具有这两种状态。
这样，我们就说明了，当端词与中词发生全称联系时，在什么条件下结论是必然的。如果一个前提是全称的，另一个前提是特称的，两个前提都是肯定的，那么，如果全称前提是必然的，则结论也是必然的。证明的方式与以前相同；因为特称肯定前提是可以转换的。因此，如果B
必定属于所有C，A归属于C，那么B必定属于某个A。如果属于某个A，则A必然属于某个B，因为前提是可以转换的。如果AC是全称必然的，情况亦相同；因为B从属于C。
如果特称前提是必然的，那么结论就不是必然的。设定是特称必然的，A属于所有C，但不是必然属于。将转换，我们就得到了第一格。全称前提不是必然的，而特称前提是必然的。我们已经知道，如果前提之间的联系是这样的，则结论就不是必然的。现在的情况亦不例外。用某些词项作例子，可以更清楚地认识到这一点。让A表示“醒着的”，B表示“两足的”，C表示“动物”。那么B必定属于某个C，A可能属于C。但A不必然属于B。因为某个两足的东西并不必然是醒着的或睡着的。设定AC是特称必然的，则借助同样的词项也能作出相同的证明。
如果一个前提是肯定的，另一个前提是否定的，当全称前提为必然否定时，结论也是必然的。因为A不可能属于任何C，B属于某个c，A必然不属于某个B。但当肯定前提（不论是全称的，还是特称的），或者特称否定前提是必然的时，则结论不是必然的。其余的证明与以前相同。当全称肯定前提是必然的时，可作例于的词项是：醒着的动物——人；人是中词。当特称肯定前提是必然的时，可作例子的词项是：醒着的——动物——白色的（因为动物必定属于某些白色的事物，“醒着的”可能不属于任何白色的事物，而“醒着的”不必然不属于某些动物）；当特称否定前提为必然时，可作词项的例子是：双足的——被运动的——动物；动物是中词。
可见，只有当两个前提都是实然的时，实然三段论才有可能成立。但只要有一个前提是必然的，必然三段论就能成立。在这两种情况中，无论三段论是肯定的还是否定的，其中一个前提必定与结论相似（我所谓“相似”，意思是说，如果结论是实然的，则前提也必定是实然的；如果结论是必然的，则前提也是必然的）。因而，下面这一点也很清楚：除非设定一个前提为必然的或实然的，否则结论便既不可能是实然的，也不可能是必然的。
因而，我们就足够充分他说明了，必然三段论是怎样形成的，以及它与实然三段论有什么不同。
我们接着讨论的是，对于可能的事物，我们何时、如何以及通过什么途径才能得到一个三段论。我说不必然的事情是可能的或可能的，是指它不会产生不可能的结果（之所以说“不是必然的”，是因为我们也含糊地用“可能”来称谓必然的东西）。从相矛盾的肯定或否定来看，就能清楚地看到这一“可能”定义的正确性。“不是可能属于的”、“不能属于”、“必然不属于”这些表述要么是相同的，要么是相互蕴涵的。它们的矛盾方面也是这样。“是可能属于的”、“不能不属于”、“不必然不属于”要么是相同的，要么是互相蕴涵的。每个主项的谓项要么是肯定的，要么是否定的。“可能的”即是“不是必然的”，“不是必然的”即是“可能的”。
由此可以推出，一切可能前提都是可以互相换位的。
我的意思并不是说，肯定前提可以换位为否定前提，而是指一切肯定形式的前提可以换位成它们的对立面。例如，“可能属于”换位成“可能不属于”；“可能属于全体”换位成“可能不属于任何”；“可能属于某个”换位成“可能不属于某个”。其余的情况亦相同。因为“可能的”不是“必然的”；“不必然的”可能不属于。所以很显然，A可能属于B，也可能不属于B；户如果它可能属于所有B，那它也可能不属于所有B。特称肯定的情况亦同样，因为证明方式是同样的。这样的前提是肯定的，不是否定的。我们已经说过，“是可能”的含义与“是”
的含义相应。