离散数学：第四章第三节 谓词逻辑的归结法 [兼容模式].pdfVIP

2011-11-16 第四章归结法原理 §4.3 谓词逻辑的归结法 §4.1 命题逻辑的归结法 原子公式或者原子公式的否定称为文字。 §4.2 前束范式与斯科伦范式 定义4.9 若一个文字恰为另一个文字的否定，则称 §4.3 谓词逻辑的归结法 它们为相反的文字。文字的有穷集合称为子句。不 作业 包含任何文字的子句称为空子句，记为□。 “相反的文字”是个语法概念，作为符号串，在其 中一个文字的前面增加符号¬就成为另一个文字。 例如，P(x) 和 ¬P(x) 是相反的文字，P(x) 和 ¬P(y ) 不是相反的文字。 定义4.10 不出现变元的文字称为基文字，基文字 我们为每个子句对应一个语句，空子句□对应永假 的有穷集合称为基子句。 语句，非空子句 {L , …, L } 对应公式 L ∨… ∨L 1 n 1 n {P(a), ¬P(b), Q(c)} 是基子句， {P(x), Q(a)} 不是基 的闭包。例如，子句 子句。 {P(x), Q(f (y ), a), ¬P(b)} 设 C = {L , …, L } 是子句，σ是代换，将子句 对应语句 1 n {{LL σσ, ……, LL σσ}} 记为记为 CCσσ，并称其为并称其为 CC 的一个实例的一个实例。 ∀∀xx∀∀yy ((PP((xx)) ∨∨QQ((ff ((yy )), aa)) ∨∨¬PP((bb)))) 1 n 若子句 C 的一个实例是基子句，则称它为 C 的基 习惯上将子句 {L , …, L } 记为 L ∨… ∨L 。 1 n 1 n 实例。 若解释 I 满足子句 C 对应的语句，则说 I 满足 C ， 例如， C = {P(x), P(f (y ))} ，σ= { x /f (a), y /a}， 记为 I | C 。若子句 C 对应的语句是子句 C1 对应的 Cσ= {P(f (a))} 是 C 的基实例。 语句和子句 C2 对应的语句的逻辑推论，则说 C 是