摘要
提出了一种较为可行的量化逻辑自然演绎系统 ,其中间接证明是这一系统的主要证明方法 ,而量词消去和置换规则是这一系统的基本演绎规则。
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.
出处
《洛阳大学学报》
2002年第3期30-33,共4页
Journal of Luoyang University
关键词
全称量词消去规则
存在量词消去规则
量词置换规则
the rule of elimination of the universal quantifier
the rule of elimination of the existential quantifier
rule of the displacement of quantifier
