数理逻辑_3讲述.pptVIP

定义２　若t1，t2，…，tn是项，则 P (t1，t2，…， tn) 是原子公式． 例如，P，P(a，b)，P(a，x)，P( f (a，b)，g(x) )都是原子公式． 定义３　谓词逻辑中的合式公式 ( wff ) 归纳定义如下： 1、原子公式是合式公式. 2、若A，B是合式公式，则(﹁ A)，(A∨B)，(A∧B)，(A→B)，(A ? B) 是合式公式． 3、若A是合式公式，则 (?x A )，(?xA ) 是合式公式． 所有合式公式，都是有限次使用(１)，(２)，(３)生成的． 合式公式也简称公式． 定义４　设A是公式，若A1是A的一部分且本身是公式，则称A1是A的子公式． 定义５　设A是公式，?x A1(或?x A1) 是A的子公式，则A中相应于A1的一段称为?x(或?x)的辖域． 定义６　设A是一个公式，若个体变元x出现在某个量词?x或?x的辖域之内，称x的这次出现是约束的，否则称x的这次出现是自由的. 一个个体变元，如果至少有一次出现是约束的，则称其为约束变元; 如果至少有一次出现是自由的，则称其为自由变元． ?x(P(x，y)→Q(x，z))∨R(x) ?x( P(x，y)→?yQ(x，y，z))∧R(f (x，z)) 证明　 x，y，z是个体变元，是项． P(x，y) , Q(x，y，z)是原子公式，是wff． f (x，z)是项,R(f (x