一-5一阶逻辑等值演算与推理.ppt

第5章 一阶逻辑等值演算与推理 本章说明 本章主要内容 5.1 一阶逻辑等值式与置换规则 5.2 一阶逻辑前束范式 5.3 一阶逻辑的推理理论 第一节 一阶逻辑等值式与置换规则 在一阶逻辑中，有些命题可以有不同的符号化形式。 例如：没有不犯错误的人 令 M(x):x是人。 F(x):x犯错误。 则将上述命题的符号化有以下两种正确形式： (1) ┐?x(M(x)∧┐F(x)) (2) ?x(M(x)→F(x)) 等值式的定义 定义5.1： 设A，B是一阶逻辑中任意两个公式，若 A?B是 永真式，则称A与B是等值的。 记做A?B，称 A?B 是等值式。 一阶逻辑中的一些基本而重要等值式 代换实例 消去量词等值式 量词否定等值式 量词辖域收缩与扩张等值式 量词分配等值式 代换实例 由于命题逻辑中的重言式的代换实例都是一阶逻辑中的永真式，因而第二章的16组等值式模式给出的代换实例都是一阶逻辑的等值式的模式。 例如： (1)?xF(x) ? ┐┐?xF(x) （双重否定律） (2)F(x)→G(y) ? ┐F(x)∨G(y) （蕴涵等值式） (3)?x(F(x)→G(y))→ ?zH(z) ? ┐?x(F(x)→G(y))∨?zH(z)? （蕴涵等值式） 消去量词等值式 设个体域为有限集D={a1,a2,…,an},则