一阶谓词逻辑.PDF

离散数学讲义稿 第一部分 数理逻辑 2章 一阶谓词逻辑 林兰 2011.3 引入 命题演算中，原子命题是演算的基本单位，不再对原 子命题进行分解。无法研究命题内部的成分、结构及其逻 辑特征。 例如：苏格拉底论证 “所有的人总是要死的” P “苏格拉底是人” Q “所以苏格拉底是要死的” R P∧Q→R 无法用命题公式演算表达，必须引入谓词演算。 1 离散数学讲义稿 内容 n 1.1 词化逻辑 n 1.2 谓词公式及其赋值 n 1.3 谓词公式的等价与范式 n 1.4 谓词公式的蕴涵 n 1.5 谓词逻辑的推理方法 2.1 量词化逻辑 例： 1. 5是质数。 x是质数 F(x) 2. 张明生于北京。 x生于y G(x, y) 3. 2 + 3 = 6 。 x+y=z H(x, y, z) 客体(个体) ：独立存在的具体事物或抽象概念。 客体常元：a, b, c 客体变元：x , y, z (小写字符或字串) 谓词：刻画客体的 质或描述客体间关系的模式。 F, G, L, GREATER_THAN (谓词标识符，大写) 谓词命名式：谓词标识符(个体1，个体2， )，简称谓词。 2 离散数学讲义稿 2.1 量词化逻辑 n元谓词：含有n个(n≥0)个体变元的谓词称为n元谓词， 记为P(x ,x , x )。(也称为n元命题函数) 1 2 n 个体域(论域)：谓词命名式中个体变元的取值范围。个体变元遍历 的非空集合D。 全总个体域(全论域)：如果不指明个体域，则认为是全体事物构成 的集合。 例2.1：书 谓词命名式中，若谓词是常元，个体变元代以个体域中的某一个体， 就成为一个命题。 2.1 量词化逻辑 n 注意：书P28 3 离散数学讲义稿