[工学]05一阶逻辑等值演算与推理.pptVIP

离 散 数 学 第5讲 一阶逻辑等值演算与推理 本章说明 本讲的主要内容 – 一阶逻辑等值式与基本等值式 – 置换规则、换名规则、代替规则 – 前束范式 – 一阶逻辑推理理论 本讲与其他各讲的关系 – 本讲先行基础是前四讲 – 本讲是集合论的先行基础 2010-10-9 2 本讲主要内容 5.1 一阶逻辑等值式与置换规则 5.2 一阶逻辑前束范式 5.3 一阶逻辑的推理理论 2010-10-9 3 5.1 一阶逻辑等值式与置换规则 在一阶逻辑中，有些命题可以有不同的符号化形式。 例如：没有不犯错误的人 令 M(x):x是人。 F(x):x犯错误。 则将上述命题的符号化有以下两种正确形式： (1) ┐∃x(M(x)∧┐F(x)) (2) ∀x(M(x)→F(x)) 说明 我们称(1)和(2)是等值的。 2010-10-9 4 说明 5 等值式的定义 定义5.1 设A，B是一阶逻辑中任意两个公式，若 A↔B是永 真式，则称A与B是等值的。 记做A⇔B，称 A⇔B 是等值式。 例如： ¬∃x(F(x) ∧ ¬G(x)) ⇔ ∀x(F(x) → G(x)) 判断公式A与B是否等值，等价于判断公式 A↔B是否为永真式。 谓词逻辑中关于联结词的等值式与命题逻 2010-10-9 辑中相关等值式类