| 谓词逻辑中前束范式的求解方法研究 |
| |
| 引用本文： | 王伟静,陈荟慧.谓词逻辑中前束范式的求解方法研究[J].电脑与微电子技术,2012(3):14-15,22. |
| |
| 作者姓名： | 王伟静 陈荟慧 |
| |
| 作者单位： | 洛阳理工学院计算机与信息工程系,洛阳471023 |
| |
| 摘 要： | 《离散数学》谓词逻辑中前柬范式的求解一直是一个难点。对前柬范式求解步骤进行分析和总结，对两种换名规则和换名情况进行分类和研究．结合实例帮助学生更好地掌握整个前束范式的求解过程，并在实际教学过程中起到很好的教学效果。
|
| 关 键 词： | 前束范式 换名规则 作用域收缩 作用域扩张 |
Research on the Solving Method of Prenex Normal Form in Predicate Logic |
| |
| Authors: | WANG Wei-jing CHEN Hui-hui |
| |
| Affiliation: | ( Department of Computer and Information Engineering, Luoyang Institute of Science and Technology, Luoyang 471023) |
| |
| Abstract: | It＇s always a difficult point that solves the Prenex Normal Form in the Predicate Logic of Discrete Mathematics. Analyzes and summarizes the solution steps of Prenex Normal Form. The second, for the two rules and situations of changing name, researches on them according to the classification method. Using the instances, we help students to know well its solutions, and it gets a good effect in the teaching process. |
| |
| Keywords: | Prenex Normal Form Changing Name Rules Scope Contraction Scope Expansion |
| 本文献已被 维普 等数据库收录！ |
