|
|||||
|
|
| 关于PI证明的若干注记 | |
| 引用本文： | 周湘南,秦晓燕. 关于PI证明的若干注记[J]. 陕西师范大学学报(自然科学版), 2003, 31(4): 20-22 |
| 作者姓名： | 周湘南 秦晓燕 |
| 作者单位： | 陕西师范大学数学研究所，陕西师范大学数学研究所 陕西西安710062，陕西西安710062 |
| 摘 要： | PI证明是归结证明的一种重要类型,但是在目前所见到的文献中,对PI推理的定义还有一些不妥之处,没有确保PI推理中的每一步归结都是PI归结.文中给出了新的PI推理的定义,弥补了这一缺陷,并对PI归结的完备性定理证明所需的引理给出了两种简化证明. |
| 关 键 词： | PI归结 PI证明 纯文字 |
| 文章编号： | 1001-3857(2003)04-0020-03 |
| 修稿时间： | 2003-08-15 |
Some notes about PI resolving |
|
| Abstract: | |
| Keywords: | PI resolving PI proving pure literals |
| 本文献已被 CNKI 维普 等数据库收录！ | |