论文部分内容阅读
众所周知，有4种不同的方法可用来判定三段论所有正确形式的有效性：规则法、文恩图法、形式证明法和公理法。规则珐是传统逻辑的方法，后3种方法属于现代逻辑的方法，而其中的文恩图法及形式证明法则是更常用的方法。关于这两种方法．在许多著作中有一些扼要介绍，但未见把全部判定过程和盘托出。有鉴于此，我们拟借此文为大家提供一份较完整的参考资料。