离散数学_数理k逻辑.pptVIP

* 3.1.1.2 斯柯林(Skolem)标准范式 * * * * 3.1.2子句与子句集 * 3.1.3不可满足意义下的一致性 * 3.1.4 P＝P1∧P2∧…∧Pn的子句集 * 3.2 海伯伦（Herbrand）理论 * * 3.2.2原子集 * 3.2.3 H域上的解释 * * 3.3 归结原理(Resolution Method) * 3.3.1.2 置换的合成 * 3.3.1.3置换结合律 * 3.3.1.5最一般合一置换的求取算法 * 3.3.2命题逻辑中的归结原理 * 3.3.2.2归结推理过程 * 3.3.3一阶谓词逻辑中的归结原理 * * 2.6 谓词演算的推理理论 * 2.6.1．规则（全称指定规则）（Universal Specification） * 2.6.2．（全称推广规则）（Universal Generalization） * 2.6.3．（存在指定规则）（Existential Specification） * 2.6.4．（存在推广规则）（Existential Generalization） * * * * * 习题课 解 解 解 证明： * 实验二 命题逻辑简单推理系统 * * * * * 第三章：基于归结原理的推理证明 主要内容：谓词公式与子句集的概念,斯柯林(Skolem)标准范式及其求取过程,海伯伦（H