精选一阶逻辑基本概念1.ppt

* * * * * 顺便提一句，由于谓词逻辑中的恒真（恒假）公式，要有所有解释I都可满足（弄假）该公式。而解释I依赖于一个非空集合D，由于集合D可以是无穷集合，而集合D的“数目”也可能是无穷多个，因此，所谓公式的“所有”解释，实际上是无法考虑的，这就使得谓词逻辑中的公式的恒真、恒假性的判断变得异常困难。1936年Church（丘奇）和Turning（图灵）分别独立地证明了对于谓词逻辑，判定问题是不可解的。 幸好，谓词逻辑是半可判定的，亦即，如果谓词逻辑中的公式是恒真的，则有算法在有限步之内检验出这个公式的恒真性。如果该公式不是恒真的（当然也不是恒假的），即是可满足的，则无法在有限步内判定这个事实。从Church和Turning的结果看，这也许是我们所能期望的最好结果了。 * 变元混淆 （4）(?x)(P(x)→R(x))∧(?y)Q(x, y) 约束变元 自由变元 在一个公式中，某一个变元的出现既可以是自由的，又可以是约束的，如(4)中的x。为了使得我们的研究更方便，而不致引起混淆，同时为了使公式给人以一目了然的结果，对于表示不同意思的个体变元，我们总是以不同的变量符号来表示。 精选 * 改名规则 约束变元的改名规则 （1）将量词中出现的变元以及该量词辖域中此 变量的所有约束出现都用新的个体变元替换； （2）新的变元应有别于公式中的所有其它变量。 精选 * 代入规则 自由变元的代入规则 （1）将公式中出现该自由变元的每一处都用新的个体变元替换； （2）新变元不允许在原公式中以任何约束形式出现。 精选 * 例 （1）将公式(?x)(P(x)→Q(x, y))∧R(x, y)中的约束变元x进行改名； （2）将公式(?x)(P(x)→Q(x, y))∧R(x, y)中的约束变元y进行代入。 解 利用改名规则对x进行改名，则： (?z)(P(z)→Q(z, y))∧R(x, y) (?z)(P(z)→R(x, y))∧R(x, y) (?y)(P(y)→R(y, y))∧R(x, y) -------对 -------错 -------错 利用代入规则对y进行代入，则： (?x)(P(x)→Q(x, z))∧R(x, z) (?x)(P(x)→Q(x, z))∧R(x, y) (?x)(P(x)→Q(x, x))∧R(x, x) ------对 ------错 ------错 精选 * 改名规则和代入规则的关系 改名规则和代入规则之间的共同点都是不能改变原有的约束关系，而不同点是： （1）施行的对象不同：改名规则是对约束变元施行，代入规则是对自由变元施行； （2）施行的范围不同：改名规则可以只对公式中的一个量词及其辖域内施行，即只对公式的一个子公式施行；而代入规则必须对整个公式同一个自由变元的所有自由出现同时施行，即必须对整个公式施行； 精选 * 改名规则和代入规则的关系（续） （3）施行后的结果不同：改名后，公式含义不变，因为约束变元只改名为另一个个体变元，约束关系不改变，约束变元不能改名为个体常量；代入后，不仅可用另一个个体变元进行代入，并且也可用个体常量去代入，从而使公式由具有普遍意义变为仅对该个体常量有意义，即公式的含义改变了。 精选 * 封闭的公式 定义4.6 设A是任意的公式，若A中不含有自由出现的个体变项，则称A为封闭的公式，简称闭式。 例如： ?x?y(F(x)?G(y)?H(x , y)) 为闭式， ?x(F(x)?G(x , y)) 不是闭式 。 一阶公式的解释 一阶公式没有确定的意义，一旦将其中的变项（项的变项亦即个体变项、函数变项、谓词变项）用指定的常项代替后，所得公式就具备一定的意义，有时就变成命题了。 精选 * 一阶公式的解释 定义4.7 一阶公式的解释I由下面4部分组成: (a)非空个体域DI。 (b)DI中一些特定元素的集合 。 (c)DI上特定函数集合{ |i, n≥1}。 (d)DI上特定谓词的集合{ | i, n≥1}。 精选 * A中的第i个n元函数变项 被解释为某个函数常项 A中的第i个n元谓词变项 被解释成某个谓词常项 对解释I的几点说明 被解释的公式不一定全部包含解释中的四个部分。 被解释的公式A中的个体变项均取值于DI。 A中的个体常项 ai 被解释成 。 在解释的定义中引进了几个元语言符号，如 精选 * 给定解释 I 如下： (a) 个体域 D=R (b) (c) (d) 写出下列公式在I下的解释, 并指出它的真值. (1) ?xF(f(x,a),g(x,a