一种可行的量化逻辑自然演绎系统  

A Practical Naturally-deductive System Featured with Quantizational Logic

作　　者：苑成存[1] 

机构地区：[1]洛阳大学,河南洛阳471023

出　　处：《洛阳大学学报》2002年第3期30-33,共4页Journal of Luoyang University

摘　　要：提出了一种较为可行的量化逻辑自然演绎系统 ,其中间接证明是这一系统的主要证明方法 ,而量词消去和置换规则是这一系统的基本演绎规则。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.

关 键 词：全称量词消去规则 存在量词消去规则 量词置换规则 

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