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