数理逻辑中谓词逻辑推理错误的分析  

The Analysis of Common Errors in The Reference of Predicate Logic

作　　者：张微[1] 

机构地区：[1]合肥学院数学与物理系,合肥230601

出　　处：《合肥学院学报（自然科学版）》2012年第4期1-7,共7页Journal of Hefei University :Natural Sciences

基　　金：国家社科基金一般项目(12BKG007);教育部人文社科一般项目(11YJA780002)资助

摘　　要：结合教学工作实践及参阅有关文献,剖析了谓词逻辑推理的规则,指出了使用规则中应该注意的事项以及可能会产生的错误,并对产生错误的原因进行了分析,给出了正确的解法.希望读者能够从中吸取有益的启示,通过正反两方面的学习,加深对这部分知识的理解和掌握.Combining with the teaching practice and the review of the related reference, this paper analyzes the rules of inference of predicate logic, and points out the matters needing attention and the errors may appear when using the rules, which also analyzes the wrong reasons and gives the correct solution. Hope readers can grasp the useful enlightenment and deepen the understanding and mastering of this part of knowledge through the two opposite aspects＇ learning.

关 键 词：数理逻辑 谓词逻辑 推理规则 量词 

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