摘要
基于自然推理系统中推理证明的归谬法和附加前提法的结构特点,结合命题逻辑的等值演算对推理方法进行改进,得到结论后进否定引入和结论析取项否定引入两种新的推理证明的思路。
Gets two kinds of new reasoning proof which based on the structural features of reduction to absurdity and additional premises of reasoning proof in natural reasoning system, combined with equivalent calculus of propositional logic, improved the reasoning method.
作者
尹慧琴
唐耀平
YIN Hui-qin;TANG Yao-ping(College of Science,Hunan University of Science and Engineering,Yongzhou,425199)
出处
《现代计算机》
2020年第13期70-72,共3页
Modern Computer
基金
湖南省普通高校教学改革研究项目(湘教通[2016]400号,编号:719)
湖南科技学院应用特色学科建设项目。
关键词
自然推理系统
结论后进否定引入
结论析取项否定引入
Natural Reasoning System
The Introduction of the Negation of the Latter Part of the Conclusion(INLC)
The Introduction of Negation of Disjunctive terms of Conclusion(INDC)
