|
|||||
|
|
| 一阶逻辑语言中前束范式的求法 | |
| 作者姓名： | 廖冬 |
| 作者单位： | 南阳师范学院数学与统计学院,河南南阳473061 |
| 摘 要： | 一阶逻辑中的任何公式都存在与之等值的前束范式。本文讨论了在求前束范式经常遇见的两种情况。 |
| 关 键 词： | 前束范式 量词分配等值式 量词辖域的收缩与扩张等值式 换名规则 代替规则 |
| 本文献已被 维普 万方数据 等数据库收录！ | |
|
||||||||||||||||||
|
||||||||||||||||||
|
||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |