| 数理逻辑中谓词逻辑推理错误的分析 |
| |
| 引用本文： | 张微.数理逻辑中谓词逻辑推理错误的分析[J].合肥学院学报(自然科学版),2012(4):1-7. |
| |
| 作者姓名： | 张微 |
| |
| 作者单位： | 合肥学院数学与物理系 |
| |
| 基金项目： | 国家社科基金一般项目(12BKG007);教育部人文社科一般项目(11YJA780002)资助 |
| |
| 摘 要： | 结合教学工作实践及参阅有关文献,剖析了谓词逻辑推理的规则,指出了使用规则中应该注意的事项以及可能会产生的错误,并对产生错误的原因进行了分析,给出了正确的解法.希望读者能够从中吸取有益的启示,通过正反两方面的学习,加深对这部分知识的理解和掌握.
|
| 关 键 词： | 数理逻辑 谓词逻辑 推理规则 量词 |
The Analysis of Common Errors in The Reference of Predicate Logic |
| |
| ZHANG Wei.The Analysis of Common Errors in The Reference of Predicate Logic[J].Journal of Hefei University :Natural Sciences,2012(4):1-7. |
| |
| Authors: | ZHANG Wei |
| |
| Institution: | ZHANG Wei(Department of Mathematics and Physics,Hefei University,Hefei 230601) |
| |
| Abstract: | 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. |
| |
| Keywords: | mathematical logic predicate logic rules of inference quantifier |
| 本文献已被 CNKI 维普 等数据库收录！ |
