| 一种可行的量化逻辑自然演绎系统 |
| |
| 引用本文： | 苑成存.一种可行的量化逻辑自然演绎系统[J].洛阳大学学报,2002,17(3):30-33. |
| |
| 作者姓名： | 苑成存 |
| |
| 作者单位： | 洛阳大学,河南,洛阳,471023 |
| |
| 摘 要： | 提出了一种较为可行的量化逻辑自然演绎系统,其中间接证明是这一系统的主要证明方法,而量词消去和置换规则是这一系统的基本演绎规则.
|
| 关 键 词： | 全称量词消去规则 存在量词消去规则 量词置换规则 |
| 文章编号： | 1007-113X(2002)03-0030-04 |
| 修稿时间： | 2002年6月4日 |
A Practical Naturally-deductive System Featured with Quantizational Logic |
| |
| YUAN Cheng,cun.A Practical Naturally-deductive System Featured with Quantizational Logic[J].Journal of Luoyang University,2002,17(3):30-33. |
| |
| Authors: | YUAN Cheng cun |
| |
| Abstract: | This paper suggests a fairly practical natural deductive system featured with quantizational logic.In this system, the indirect proof is the main method for the proof calculation, and the elimination of the quantifier and the regulation of the displacement are the fundamental deductive rules of this system. |
| |
| Keywords: | the rule of elimination of the universal quantifier the rule of elimination of the existential quantifier rule of the displacement of quantifier |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
