第二章谓词逻辑-Read.ppt

谓词逻辑 第二章 谓词逻辑 谓词逻辑 在命题逻辑中, 命题演算的基本单位是命题, 不再对原子命题进行分解, 故无法研究命题的语法结构、成分和内在的逻辑特性。 谓词逻辑 2.1 谓词的概念和表示 例 在命题逻辑中， P： “张三是个大学生”， Q： “李四是个大学生”。 在谓词逻辑中， A： “是个大学生”， t： “张三”， f： “李四”，则 A(t)： “张三是个大学生”， A(f )： “李四是个大学生”。 一元谓词 通常一元谓词表达了客体的性质。 如 A(a) 可以表示： 张三是大学生。 李四聪明。 王五学习很好。 7是素数。 …… 多元谓词 通常多元谓词表达了客体之间的关系。如: B(a, b) 可以表示： a 小于 b. 地球绕着太阳转. 张明和张华是兄弟. …… L(a, b, c) 可以表示: a 在 b 和 c 之间. a + b = c. …… 在多元谓词表示式中,客体名称字母出现的次序与事先约定有关. 2.2 命题函数与量词 由一个谓词，一些客体变元组成的表达式称为简单命题函数。 例 A(x): x 是素数. A(2): 2 是素数. A(6): 6 是素数. 复合命题函数 由一个或多个简单命题函数以及逻辑联结词组合而成的表达式称为复合命题函数。 逻辑联结词 ?、?、?、? 、? 的意义与命题逻辑中的完全相同。 个体域 在命题函数中，客体变元的论述范围称为个体域。 个体域可以是有限的或无限的。 全总个体域 把各种个体域综合在一起作为论述范围的域称为全总个体域。 为了方便我们通常使用全总个体域，对于每一个客体变元的变化范围，通常用特性谓词加以限制。 全称量词 ? ：称为全称量词，用以表达“对所有的”，“每一个”，“对任一个”等。 对于 ? ，表示客体变化范围的特性谓词通常作为蕴含的前件。 存在量词 ? ：称为存在量词，用以表达“存在一些”，“至少有一个”，“对于一些”等。 对于? ，表示客体变化范围的特性谓词通常作为合取项。 2.3 谓词公式与翻译 谓词演算的合式公式： 原子公式是合式公式, 其中原子公式是命题函数 A(x1, x2, …, xn)。 若 A 是合式公式，则 ? A也是合式公式。 若 A 和 B 都是合式公式，则(A ? B), (A ? B), (A → B)和(A ? B)是合式公式。 如果 A 是合式公式，x 是 A 中出现的任何变元，则 (?x)A 和(?x) A 都是合式公式。 只有经过有限次地应用上述规则所得到的公式是合式公式。 例 1) 并非每个实数都是有理数。 R(x): x 是实数。Q(x): x 是有理数。 2) 没有不犯错误的人。 M(x): x 是人。F(x): x 犯错误。 3) 尽管有人聪明，但未必一切人都聪明。 M(x): x 是人。 C(x): x 聪明。 例 4) 发光的不都是金子。 L(x): x 发光。 G(x): x 是金子。 5) 不是所有的男人都比女人高。 M(x): x 是男人。W(x): x 是女人。H(x,y): x 比 y 高。 6) 每人都喜欢他自己的孩子。 P(x): x 是人。 C(x): x 是孩子。 I(x,y): x 属于 y 。 L(x,y): x 喜欢 y 。 练习 将下列命题符号化 练习 2.4 变元的约束 给定一个谓词公式，其中有一部分公式的形式为： (?x) P(x) 或 (?x) P(x) 。 这里? 、?后面的 x 叫做量词的指导变元（作用变元），P(x) 叫做相应量词的作用域（辖域）。 在作用域中 x 的一切出现称为 x 在公式中的约束出现，x 称为约束变元。 在公式中除去约束变元之外所出现的变元称作自由变元。 例 例 例 例 2.4 变元的约束（续） P(x1,x2,…,xn)是 n 元谓词,有 n 个独立的自由变元.若对其中 k 个变元进行约束, 则成为 n-k 元谓词。若没有自由变量出现,则该式就成为有关命题. 约束变元的换名 约束变元的换名规则： 换名范围:量词中的指导变元和作用域中出现的该变元.公式中其余部分不变. 要换成作用域中没有出现的变元名称. 自由变元的代入 自由变元代入的规则： 对该自由变元每一处进行代入. 代入的变元与原公式中所有变元名称不能相同. 有限的个体域 量词作用域中的约束变元，当论域的元素是有限时，客体变元的所有可能的取代是可枚举的。 设论域的元素是 a1,a2,…,an，则 练习 寻求下列公式的真假值 已知论域 D={1,2},P(x)在x=1时为真， Q(x)在x=2时为真，则公式 (?x)(P(x)?Q(x))的真值为： 多个量词