论谓词逻辑推理中的量词加免法则  

On the Rules of Addition and Emission of the Quantifier in the Predicative Logic Inference

作　　者：张改荣[1] 

机构地区：[1]山东工业大学

出　　处：《大学数学》1995年第3期82-85,共4页College Mathematics

摘　　要：对谓词逻辑推理中关于量词加免的四项法则重新进行了审定，并讨论了这些法则的使用技巧。This article is intended to diecuas the four rules of addition and omission of the quantifier in the predicative logic inference and introduce the skill of using them

关 键 词：离散数学 数理逻辑 谓词逻辑 

分 类 号：O29[理学—应用数学]