| 自然推理方法的改进 |
| |
| 引用本文： | 刘虎明.自然推理方法的改进[J].咸阳师范学院学报,1999(Z1). |
| |
| 作者姓名： | 刘虎明 |
| |
| 作者单位： | 西藏民族学院!陕西咸阳712082 |
| |
| 摘 要： | 根据综合推理的优点，提出自然稚理方法的改进，设制了新的证明格式。改进后的方法优点有二：第一，证明过程中，前题和结论非常靠紧，假设较易引入；第二，并列推理，逻辑线路清晰易懂。
|
| 关 键 词： | 命题公式 形式推理 自然推理系统 并列推理 |
The Improvement of Natural Inference |
| |
| Liu Huming.The Improvement of Natural Inference[J].Journal of Xianyang Normal University,1999(Z1). |
| |
| Authors: | Liu Huming |
| |
| Abstract: | 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. |
| |
| Keywords: | proposition formula formal inference natural inference system juxtaposed inference |
| 本文献已被 CNKI 等数据库收录！ |
