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
1705319780
对现状感到幸福的人不是（不包括）汤姆。C不是A。
1705319781
1705319782
要么是：
1705319783
1705319784
汤姆对现状感到不幸福。A不是C。
1705319785
1705319786
我们还可以用另一种方式看待这个例子：
1705319787
1705319788
所有无政府主义者对现状感到不幸福。所有A是B。
1705319789
1705319790
汤姆是一个无政府主义者。（所有）C是A。