[离散数学课件-乔维声]第2章谓词逻辑.pptVIP

第2章 谓词逻辑 2.1 个体、 谓词与命题函数 2.2 量词 2.3 谓词公式与翻译 2.4 谓词演算的推理理论 2.5 前束范式 习 题 2 2.１ 个体、 谓词与命题函数 2.1.1 个体与谓词 在谓词逻辑中, 我们首先对原子命题加以分解, 引入个体和谓词的概念。 例1 讨论以下原子命题: (1) 张三是共青团员。 (2) 100 是自然数。 (3) 马列主义是真理。 定义 2.1―1 一个可以独立存在的物体称为个体。 个体可以是抽象的, 如“马列主义”; 也可以是具体的, 如“100”。 个体常用小写字母a, b, c等表示。 例2 讨论以下原子命题: (1) 2＞5。 (2) 南京位于武汉和上海之间。 原子命题(1)可以分解为个体“2”、 “5”和“…＞…”两部分; 原子命题(2)可以分解为个体“南京”、 “武汉”、 “上海”和“……位于……和……之间”两部分。 我们将例2中的“…＞…”和“……位于……和……之间”也称为谓词, 它们表示了两个和两个以上个体之间的关系。 定义 2.1―2 用于刻画个体的性质或个体间关系的词称为谓词。 谓词常用大写字母Ｐ, Ｑ, Ｒ等表示。 如用Ｑ表示谓词“是共青团员”, a 表示个体“张三”, b表示个体“李四”, 则命题“张三是共青团员”和“李四是共青团员”可分别用Ｑ(a)和Ｑ(b) 表示。 例3 将下列命题符号化: (1) 赵子龙救出阿斗。 解 设 P: ……救出…… 。 a: 赵子龙。 b: 阿斗。 则原命题可表示为P(a,b)。 (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 命题函数 定义 2.1―3 一个命题函数由n个个体变元和n元谓词组成。 由n个个体变元x1, x2, …, xn及n元谓词P所组成的命题函数记为P(x1, x2, …, xn)。 这种命题函数以个体域为定义域, 以真值０, 1所组成的集合为值域（关于函数、 定义域、 值域的概念见第5章）。 2.2 量 词 有了个体、 谓词、 命题函数的概念以后, 能不能将本章开始所讲的三段论方法正确地符号化呢？以下面的断言为例: P: 凡人要死。 Q: 苏格拉底是人。 R: 苏格拉底要死。 令 H(x): x是人。 M(x): x要死。 a: 苏格拉底。 2.2.1 全称量词 命题“凡人要死”也可以说“对所有的x, 如果x是人, 则x要死”。 这种涉及到普遍性问题的命题还可以举出很多。 例如: 对任意一个x, 如果x是自然数, 则x是实数。 对每一个x, x是偶数当且仅当2整除x。 为表示上面所讲的“对所有的x”、 “对任意一个x”、 “对每一个x”, 我们引入全称量词的概念。 定义 2.2―1 符号x表示“对所有的x”、 “对任意一个x”、 “对每一个x”, 称为全称量词。 例1 把下面命题符号化: (1) 凡