I M?——H?
O G?——M○
O G?——H○
第二格式
H?——M?
G?——M○
G?——H○
第三格式
I M?——H?
O M?——G○
O G?——H○
第四格式
H?——M?
M?——G○
G?——H○
“在这四个格式之中,每一格式前题中之H?到了结论里都变成H○,这种推论显然无效。
“第三,如果一个前题是O而另一个是I,那么可依四种格式来决定推论是否有效:
第一格式
O M?——H○
I G?——M?
O G?——H○
第二格式
H?——M○
G?——M?
G?——H○
第三格式
O M?——H○
I M?——G?
O G?——H○
第四格式
H?——M○
M?——G?
G?——H○
“在以上的证示中,在第二、第四两格式里,前题中的H?到结论变为H○。所以整个以OI为前题的推论无效。我们知道,逻辑推论必须有效。所谓有效,就是在每一解释之下都真,不许有一例外。如有一例外,那么整个规律便是无效的。
“在逻辑传统中,还有几条规律,而且各个格式各有其规律。不过,这些规律都可以从前面所说的规律推论出来,因此,我们不再讨论。”
[4]编者注:此种情形应有8种,原文遗漏EI、IE两种情形。