推理理论 推理规则.pptVIP

* 实例 ?v1 (v1 +1=0) 量词的辖域是全公式。v1是约束变元 ?v2 (v1+ v2 +10) 量词的辖域是全公式。v2是约束变元, v1是自由变元 ?v1 (v1 + v2+1=0 →?v2 (v1+ v2 +10)) ?v2 的辖域是(v1+ v2 +10);?v1的辖域是全公式，v1是约束变元，第二个v2是约束变元，第一个v2是自由变元. * 闭式 公式常记作φ(x1, x2, …, xn), φ中自由变元都在x1, x2, …, xn中。 没有自由变元的公式φ叫做封闭的合式公式，也叫闭式。 ?v1 (v1 + v2+1=0 →?v2 (v1+ v2 +10)) 在上面这个公式中，v1 和v2有时自由出现，有时是约束出现的，为了避免混淆我们引入换名规则 * 换名规则 将量词辖域中出现的某个约束出现的个体变项及对应的指导变项，改成另一个辖域中未曾出现过的个体变项符号，公式中其余部分不变，称为换名规则。 * 约束变元换名 ?xφ(x, x1, x2, …, xn) ??yφ(y, x1, x2, …, xn) ?xφ(x, x1, x2, …, xn) ??yφ(y, x1, x2, …, xn) 其中y {x1, x2, …, xn} * 换名实例 例. ?v2 (v1?v2 +10) ? ?v3 (v1?v3 +10) ?v1 (