数理逻辑 第一章 命题逻辑 第二章 谓词逻辑.ppt

* 2-9模型和模态逻辑 “Logic is not the end of wisdom, it is the beginning…” anonymous * 2-6前束范式 定理3：任一谓词公式均可化为前束析取范式 证明：首先利用定理1的方法把谓词公式化为前束范式，然后对作用域使用命题逻辑析取范式的化归方法转化为析取范式 例子：将?x?y(?zP(x，y，z) →?uQ(x，u) )??uR(x，u)化为前束合取范式。 解：原式 ??x?y(?z┐P(x，y，z) ? ?uQ(x，u))??vR(t，v) ??x?y?z?u?v((┐P(x，y，z) ? Q(x，u)) ?R(t，v)) ??x?y?z?u?v (┐P(x，y，z) ? Q(x，u)) ?R(t，v)) * 2-7谓词演算的推理理论 全称指定规则 简记为US规则 ?xP(x) ------ P(c) 注：若对一切x，P(x)为真,可推得对任意个体c，都有P(c)为真。 需要避免引入客体变元之间相互作用 例子：?x(P(x，z)??yQ(x，y