2.1 离散数学.pptVIP

第2章 一阶逻辑 2.1 一阶逻辑基本概念 2.2 一阶逻辑合式公式及解释 2.3 一阶逻辑等值式 基本概念——个体词、谓词、量词 基本概念 (续) 基本概念(续) 一阶逻辑中命题符号化 例1(续) 一阶逻辑中命题符号化(续) 一阶逻辑中命题符号化(续) 一阶逻辑中命题符号化(续) 2.2 一阶逻辑公式及解释 字母表 合式公式(简称公式) 个体变项的自由出现和约束出现 解释 永真式（逻辑有效式） 矛盾式（永假式） 可满足式 字母表 项 定义 项的定义如下： (1) 个体常项和个体变项是项. (2) 若?(x1, x2, …, xn)是任意的n元函数，t1,t2,…,tn是任意的n个项，则?(t1, t2, …, tn) 是项. (3) 所有的项都是有限次使用 (1), (2) 得到的. 个体常项、变项是项，由它们构成的n元函数和复 合函数还是项 原子公式 合式公式 定义 合式公式（简称公式）定义如下： (1) 原子公式是合式公式. (2) 若A是合式公式，则 (?A)也是合式公式 (3) 若A, B是合式公式，则(A?B), (A?B), (A?B), (A?B)也是合式公式 (4) 若A是合式公式，则?xA, ?xA也是合式公式 (5) 只有有限次地应用(1)~(4)形成的符号串是合 式公式. 请举出几个合式公式的例子. 个体变项的自由出现与约束出现 解释 公式的解释与分类 解释 (续) 代换实例(续) 例1(续) (3) ?x?y?zF(f(x,y),z) 代换实例(续) * * 2.1 一阶逻辑基本概念 个体词 谓词 量词 一阶逻辑中命题符号化 个体词（个体）: 所研究对象中可以独立存在的具 体或抽象的客体 个体常项：具体的事物，用a, b, c表示 个体变项：抽象的事物，用x, y, z表示 个体域: 个体变项的取值范围 有限个体域，如{a, b, c}, {1, 2} 无限个体域，如N, Z, R, … 全总个体域: 宇宙间一切事物组成 谓词: 表示个体词性质或相互之间关系的词 ???? 谓词常项：F(a)：a是人 ???? 谓词变项：F(x)：x具有性质F ???? 一元谓词: 表示事物的性质 多元谓词(n元谓词, n?2): 表示事物之间的关系 如 L(x,y)：x与y有关系L，L(x,y)：x?y，… 0元谓词: 不含个体变项的谓词, 即命题常项或命 题变项 量词: 表示数量的词 ???? 全称量词?: 表示任意的, 所有的, 一切的等 如 ?x 表示对个体域中所有的x 存在量词?: 表示存在, 有的, 至少有一个等 如 ?x 表示在个体域中存在x 例1 用0元谓词将命题符号化 要求：先将它们在命题逻辑中符号化，再在一阶 逻辑中符号化 (1) 墨西哥位于南美洲 在命题逻辑中, 设 p: 墨西哥位于南美洲 符号化为 p, 这是真命题 在一阶逻辑中, 设a：墨西哥，F(x)：x位于南美洲 符号化为F(a) (2) ? 是无理数仅当 是有理数 在命题逻辑中, 设 p： 是无理数，q： 是有理数. 符号化为 p ? q, 这是假命题 在一阶逻辑中, 设F(x): x是无理数, G(x): x是有理数 符号化为 (3) 如果23，则34 在命题逻辑中, 设 p：23，q：34. 符号化为 p?q, 这是真命题 在一阶逻辑中, 设 F(x,y)：xy，G(x,y)：xy, 符号化为 F(2,3)?G(3,4) 例2 在一阶逻辑中将下面命题符号化 (1)?人都爱美; (2) 有人用左手写字 分别取(a) D为人类集合, (b) D为全总个体域 . 解：(a) (1) 设G(x)：x爱美, 符号化为 ?x G(x) (2) 设G(x)：x用左手写字, 符号化为 ?x G(x) (b) 设F(x)：x为人，G(x)：同(a)中 (1) ?x (F(x)?G(x)) (2) ? x (F(x)?G(x)) 这是两个基本公式, 注意这两个基本公式的使用. 例3 在一阶逻辑中将下面命题符号化 (1) 正数都大于负数 (2) 有的无理数大于有的有理数 解 注意: 题目中没给个体域, 一律用全总个体域? (1) 令F(x): x为正数, G(y): y为负数, L(x,y): xy ?x(F(x)??y(G(y)?L(x,y))) 或 ?x?y(F(x)?G(y)?L(x,y)) 两者等值 (2) 令F(x): x是无理数, G(y): y是有理数, L(x,