1705319730
1705319731
（7）是否至少在前两个命题的其中之一涉及中项所属类别的全部成员（即中项是否至少周延一次）？
1705319732
1705319733
表达此问题的另一种方式：如果命题是肯定的，三个词项是否存在“类—子类—子类的成员”的关系（即是否存在真实的中项）？
1705319734
1705319735
（8）如果前两个命题之一以有些一词开头，结论是否也以有些一词开头？
1705319736
1705319737
（9）如果结论中存在否定关系，是否前两个命题之一也存在否定关系？
1705319738
1705319739
（10）前两个命题是否至少有一个不是以有些开头的？
1705319740
1705319741
（11）前两个命题是否至少有一个不包含否定关系？
1705319742
1705319743
（12）如果一个词项在结论中周延，它是否也在前两个命题之一中周延？换而言之，如果有一个词项在结论中涉及全部成员，它是否也在前两个命题之一中涉及全部成员？
1705319744
1705319745
三段论有效性的终极测试是查阅以下有效形式的一览表。尽管建立三段论的方式超过250种，但其中只有24种有效，而在这24种之中，只有15种比较重要。
1705319746
1705319747
1705319748
1705319749
1705319750
任何真实的命题代入以上15种模式的任何一种，必定产生一个同样真实的结论。比如，让我们看看以下两个命题：
1705319751
1705319752
没有无政府主义者对现状感到幸福。
1705319753
1705319754
有些对现状感到幸福的人是保守派。
1705319755
1705319756
这个模式与第14种模式一致：
1705319757
1705319758
没有A是B。
1705319759
1705319760
有些B是C。
1705319761
1705319762
结论一定是：
1705319763
1705319764
有些C不是A：“因此，有些保守派不是无政府主义者。”
1705319765
1705319766
另一个例子：
1705319767
1705319768
没有无政府主义者对现状感到幸福。
1705319769
1705319770
汤姆是无政府主义者。
1705319771
1705319772
这些命题明显属于第三类，但它们看上去与第三类所列举的四个模式中的任何一个都不一致。然而，只要调换两个命题的顺序，我们就可以轻易地确认为模式7或模式9：
1705319773
1705319774
汤姆是无政府主义者。（所有）A是B。
1705319775
1705319776
没有无政府主义者对现状感到幸福。没有B是C。
1705319777
1705319778
因此，结论要么是：
1705319779