北京理工大学《离散数学》第3章 一阶逻辑-2013-2014-1.pptVIP

第3章 一阶逻辑（谓词逻辑） 第3章 一阶逻辑 3.1 一阶逻辑基本概念 3.2 一阶逻辑等值演算 3.1 一阶逻辑基本概念 3.1.1 命题逻辑的局限性 3.1.2 个体词、谓词与量词 个体常项、个体变项、个体域、全总个体域 谓词常项、谓词变项 全称量词、存在量词 3.1.3 一阶逻辑命题符号化 3.1 一阶逻辑基本概念(续) 3.1.4 一阶逻辑公式与分类 一阶语言L （字母表、项、原子公式、合式公式） 辖域和指导变元、约束出现和自由出现 闭式 一阶语言L 的解释 永真式、矛盾式、可满足式 代换实例 命题逻辑的局限性 在研究命题逻辑中， 原子命题是命题演算中最基本的单位，不再对原子命题进行分解， 这样会产生二大缺点：（1）不能研究命题的结构，成分和内部逻辑的特征；（2）也不可能表达二个原子命题所具有的共同特征，甚至在命题逻辑中无法处理一些简单又常见的推理过程。 例：苏格拉底论证是正确的，但不能用命题逻辑的推理规则推导出来。“所有的人总是要死的。 A “苏格拉底是人。 B “所以苏格拉底是要死的。” C 命题逻辑的局限性 又例如: 凡偶数都能被2整除, 6是偶数, 所以6能被2整除. 在命题逻辑中 令 p: 凡偶数都能被2整除, q: 6是偶数, r: 6能被2整除 符号化为 (p ? q) ? r 不能证明其正确性 个体词与个体域 个体词: 所研究对象中可以独立存在的具体或抽象的客体 个体常项: 表示具体事物的个体词, 用a, b, c等表示 个体变项: 表示抽象事物的个体词, 用x, y, z等表示 个体域: 个体变项的取值范围 全总个体域: 宇宙间一切事物 谓词 谓词: 表示个体词性质或相互之间关系的词 ???? 谓词常项: 表示具体性质或相互之间关系的谓词 ???? 谓词变项: 表示抽象性质或相互之间关系的谓词 量词 量词: 表示数量的词 ???? 全称量词?: 表示任意的, 所有的, 一切的等 ?x F(x) 表示所有的x具有性质F 存在量词?: 表示存在, 有的, 至少有一个等 ?x F(x) 表示存在x具有性质F 谓词用F,G,H,P等表示 一阶逻辑命题符号化 例3 在一阶逻辑中将下面命题符号化: (1)?人都爱美; (2) 有人用左手写字 个体域分别取(a) 人类集合, (b) 全总个体域 . 解: (a) (1) 设F(x): x爱美, 符号化为 ?x F(x) (2) 设G(x): x用左手写字, 符号化为 ?x G(x) (b) 设M(x): x为人， F(x), G(x)同(a)中 (1) ?x (M(x)?F(x)) (2) ? x (M(x)?G(x)) M(x)称作特性谓词 实例 例5 将下面命题符号化: (1) 兔子比乌龟跑得快 (2) 有的兔子比所有的乌龟跑得快 (3) 并不是所有的兔子都比乌龟跑得快 (4) 不存在跑得一样快的兔子和乌龟 解 用全总个体域, 令F(x): x是兔子, G(y): y是乌龟, H(x,y): x比y跑得快, L(x,y): x和y跑得一样快 (1) ?x?y(F(x)?G(y)?H(x,y)) (2) ?x(F(x)?(?y (G(y)?H(x,y))) (3) ? ?x?y(F(x)?G(y)?H(x,y)) (4) ? ?x?y(F(x)?G(y)?L(x,y)) (1) ?x (F(x)??y(G(y)?H(x,y))) (3) ?x?y(F(x)?G(y)??H(x,y)) (4) ?x?y(F(x)?G(y)??L(x,y)) 注意 (1) 一元谓词和多元谓词的使用 (2) 全称量词和存在量词的区别 (3) 多个量词出现时, 不能随意交换顺序 如 在个体域R中, 记H(x,y): x+y=10 ?x?y H(x,y) 真值为1 ?y?x H(x,y) 真值为0 (4) 命题的符号化不惟一 板书例子！ 一阶语言L 定义3.1 一阶语言L 的字母表定义如下： (1) 个体常项：a, b, c, …, ai, bi, ci, …, i ?1 (2) 个体变项：x, y, z, …, xi, yi, zi, …, i ?1 (3) 函数符号：f, g, h, …, fi, gi,