搜索筛选:
搜索耗时1.1890秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者：林铭钧;吴志雄,
来源：学术研究 年份：1998
众所周知，有4种不同的方法可用来判定三段论所有正确形式的有效性：规则法、文恩图法、形式证明法和公理法。规则珐是传统逻辑的方法，后3种方法属于现代逻辑的方法，而其中的文恩图法及形式证明法则是更常用的方法。关于这两种方法．在许多著作中有一些扼要介绍，但未见把......
相关搜索：
