第2章谓词逻辑1.ppt

第2章 谓词逻辑 2.1 个体、 谓词与命题函数 2.2 量词 2.3 谓词公式与翻译 2.4 谓词演算的推理理论 2.5 前束范式 习 题 2 2.１ 个体、 谓词与命题函数 2.1.1 个体与谓词 在谓词逻辑中, 我们首先对原子命题加以分解, 引入个体和谓词的概念。 例1 讨论以下原子命题: (1) 张三是共青团员。 (2) 100 是自然数。 (3) 马列主义是真理。 “张三”称为个体,“是共青党员”表示相应个体的属性，称 为谓词。 定义 . 一个可以独立存在的物体称为个体。 个体可以是抽象的, 如“马列主义”; 也可以是具体的, 如“100”。 特定的个体称为个体常元, 个体常元常用小写字母a, b, c等表示。 不确定的个体称为个体变元,用x,y,z表示。 个体域就是个体变元遍历的非空集合。 例2 讨论以下原子命题: (1) 2＞5。 个体--“2”、 “5” 谓词--“…＞…” 南京位于武汉和上海之间。 个体--“南京”、 “武汉”、 “上海” 谓词--“……位于……和……之间” 谓词表示两个和两个以上个体之间的关系。 定义 用于刻画个体的性质或个体间关系的词称为谓词。 谓词常用大写字母Ｐ, Ｑ, Ｒ等表示。 如用Ｑ表示谓词“是共青团员”, a 表示个体“张三”, 则命题“张三是共青团员” 用Ｑ(a) 表示。 例3 将下列命题符号化: (1) 赵子龙救出阿斗。 解 设 P: ……救出…… 。 a: 赵子龙。 b: 阿斗。 则原命题可表示为P(a,b)。 N个个体的排列次序一般是不能随意调换的 (2) 如果你不出去, 我就不进来。 解 设 P: ……出去。 Q: ……进来。 a: 你。 b: 我。 则原命题可表示为┐ P(a)→┐ Q(b)。 (3) 123是偶数当且仅当2整除123。 解 设 A: ……是偶数。 B: ……整除……。 a: 2。 b: 123。 则原命题可表示为A(b)B(a,b)。 2.1.2 命题函数 含有N个个体变元的谓词叫N元谓词。 定义 一个命题函数由n个个体变元和n元谓词组成。 由n个个体变元x1, x2, …, xn及n元谓词P所组成的命题函数记为P(x1, x2, …, xn)。 这种命题函数以个体域为定义域, 以真值０, 1所组成的集合为值域，是D1×D2× …×Dn到{0，1}的一个函数，其中Di是个体变元xi的个体域。 2.2 量 词 例: P: 凡人要死。 Q: 苏格拉底是人。 R: 苏格拉底要死。 令 H: 是人。 M: 要死。 a: 苏格拉底。 Q---H(a) R---M(a) 2.2.1 全称量词 命题“凡人要死”也可以说“对所有的x, 如果x是人, 则x要死”。 定义 2.2―1 符号x表示“对所有的x”、 “对任意一个x”、 “对每一个x”, 称为全称量词。 例1 把下面命题符号化: (1) 凡人要死。 解 设 H: ……是人。 M: ……要死。 则原命题可以表示为x(H(x)→M(x))。 (2) 对每一个x, x是偶数当且仅当2整除x。 解 设 Ｅ: ……是偶数。 2|x: 2整除x。 则原命题可以表示为x(Ｅ(x)2|x)。 2.2.2 存在量词 定义 2.2―2 符号 x表示“对某一个x”、 “至少存在某一个x”、