论文部分内容阅读
PI证明是归结证明的一种重要类型,但是在目前所见到的文献中,对PI推理的定义还有一些不妥之处,没有确保PI推理中的每一步归结都是PI归结.文中给出了新的PI推理的定义,弥补了这一缺陷,并对PI归结的完备性定理证明所需的引理给出了两种简化证明.
关于PI证明的若干注记
【摘 要】
：
PI证明是归结证明的一种重要类型,但是在目前所见到的文献中,对PI推理的定义还有一些不妥之处,没有确保PI推理中的每一步归结都是PI归结.文中给出了新的PI推理的定义,弥补了
【机 构】
：
陕西师范大学数学研究所
【出 处】
：
陕西师范大学学报：自然科学版
【发表日期】
：
2003年4期
其他文献
目的探讨核磁共振成像对股骨头缺血坏死介入治疗的价值、意义。方法搜集本科介入治疗病例50例，术前全部先行核磁共振检查，行超选择性插管并经导管进行局部药物治疗，记录相关资料
社会经济的快速发展使新型制冷式的研究工作迫在眉睫,为提高吸附制冷系统的制冷效率,本文主要研究吸附工质对的吸附温度对系统蒸发温度及COP的影响,其中吸附工质对由水与混合
现有的交通分配算法对目标函数的结构和目标的个数都有一定限制 ,在实践中不能更好地发挥其作用 .引入蚂蚁算法可有效地解决这一难题 .本文专门设计了求解该算法的一般步骤和