传统逻辑直言命题推理的扩充

摘要

传统逻辑的直言推理包涵易被忽略的内容,文中力图揭示这些内容；一旦用一阶逻辑形式化直言推理以后,在得到精确性的同时,又失去了思维的直觉,对扩展思维方法并无好处.但这种推理还可以用现代数学的图论进行扩充,发掘更多的连通关系；最后还可以用知识库理论扩充,以让传统逻辑发挥更大的作用.