2-1-aolm-离散数学.ppt

第二章 谓词逻辑 历史使人聪明，诗歌使人机智，数学使人精细，哲学使人深邃，道德使人严肃，逻辑与修辞使人善辩。 Bacon Francis 命题逻辑研究的基本单位是原子命题，不再对原子命题进行分解，也不再对原子命题的内部结构作进一步的分析，故其应用具有一定的局限性。 解决问题：引入了谓词和量词等概念，形成数理逻辑另外一个重要的基础部分——一阶谓词逻辑。 一阶谓词逻辑：称为一阶谓词演算、狭谓词逻辑、初等逻辑、量词理论等，一般简称为谓词逻辑。 主要内容： 基本概念： 谓词、量词、谓词公式、命题符号化。 量词的个体变元的出现形式：自由出现和约束出现。 谓词公式之间的等价和蕴涵关系； 谓词公式的标准形式——前缀范式，即谓词演算推理中的规范形式。 定义2.1 一个原子命题用一个谓词和 n 个有次序的个体常元 a1, a2, …, an 表示成 P(a1, a2, …, an) 的形式，称为该原子命题的谓词形式。 在定义2.1中，若 n＝0，则 P 称为零元谓词，即 P 本身就是一个命题，若 n＝1，则称 P 是一元谓词，若 n＝2，则称 P 是二元谓词，以此类推。 显然，单独一个谓词不是完整的命题。且 P(a1, a2, …, ai, …, aj, …, an) (1≤i＜j≤n) 与P(a1, a2, …, aj, …, ai, …, an)是不同的命题。 定义2.2 若表达式 P(a1, a2, …, an) 中，P 是某个命题，a1, a2, …, an 是个体变元，则 P(a1, a2, …, an) 称为简单命题函数。 定义2.3 由一个或多个简单命题函数以及逻辑联结词组合而成的表达式称为复合命题函数。 命题函数：简单命题函数、复合命题函数。 命题函数不是命题！只有当其中的个体变元都用具体的个体取代后才成为命题。并且个体变元在哪些范围内取特定的值，对是否成为命题及命题的真值极有影响。 个体域：个体变元的取值范围，又称为论域。 个体域可以是有限的，也可以是无限的， 全总个体域：把各种个体域综合在一起作为论述范围内的域。 全总个体域是无限的。 另外还有一类量词，用来表达 “有x”、“至少有一个x”、“存在x” 等概念，这类量词称为存在量词，记为 (?x)（?是Exist 中第一个字母的反写）。 【例2.6】试将命题 “存在一个数满足要求” 符号化。 解：若 A(x) 表示 “ x 是一个数”， B(x) 表示 “ x 满足要求”， 则命题 “存在一个数满足要求” 符号化为： (?x)(A(x)∧B(x))。 在命题符号化的过程中需要注意以下三点： （1）“所有的…是…” 应表示为：(?x) (A(x) ?B(x))， 而不是：(?x) (A (x)∧B(x))。 这是因为量化断言的真假与个体域有关。这里事先并未规定个体域是什么，因此可以认为 x 的取值范围是一切事物，所以要表达“所有的…是…”，必先假设 x 具有性质 A，这就是 (?x)(A(x)?B(x)) 的形式，不然就不能忠实于原命题。 例：“每一个有理数均是实数” 是真命题。 若设 A(x) 表示：“x是有理数”， B(x) 表示：x 是实数， 若将命题 “每一个有理数均是实数” 符号化为： (?x)(A(x)∧B(x)) 那么当 x＝ 时，(?x)(A(x)∧B(x))的真值为F，与原命题不符。 （2）对“存在…是…” 应表达成: (?x)(A(x)∧B(x))， 而不是: (?x)(A(x) ?B(x))。 虽然这里个体域也为一切事物，然而由于 “存在着” 是一种部分肯定的情况，是指一定有具有性质 A 与性质 B 的个体x。 因此应该用: A(x)∧B(x)， 而不是: A(x) ?B(x)。 例: “有些自然数能被 2 整除”