1705319720
1705319721
（2）第三个句子是否明显或隐含以因此（therefore）开头？
1705319722
1705319723
（3）是否有且只有三个词项？
1705319724
1705319725
（4）结论的主语是否出现且仅出现在前两个命题的一个命题中（即小项）？
1705319726
1705319727
（5）结论的述语是否出现且仅出现在前两个命题的另一个命题中（即大项）？
1705319728
1705319729
（6）是否有词项出现在第一个命题和第二个命题中，却不出现在结论中（即中项）？
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