自然推理方法的改进  

The Improvement of Natural Inference

作　　者：刘虎明[1] 

机构地区：[1]西藏民族学院,陕西咸阳712082

出　　处：《咸阳师范学院学报》1999年第S1期32-34,共3页Journal of Xianyang Normal University

摘　　要：根据综合推理的优点，提出自然稚理方法的改进，设制了新的证明格式。改进后的方法优点有二：第一，证明过程中，前题和结论非常靠紧，假设较易引入；第二，并列推理，逻辑线路清晰易懂。Based on the general inference, this essay proposes the imprdved approach of natural inference, brings forward a new formula of demonstration. The advantages of the improved approach are the fellowing two: 1. In the course of demonstrating, premise has a close conection with conclusion, so hypothesis is easy to be introduced;2. Because of the juxtaposed inferense the logic line is distinct and easy to understand.

关 键 词：命题公式 形式推理 自然推理系统 并列推理 

分 类 号：O141[理学—数学]