离散数学教程讲义.ppt

* * * * * 2.2命题函数与量词 第一篇数理逻辑第二章谓词逻辑 解：F(x)：x为人，G(x)：x用左手写字 ?x (F(x)?G(x)) 例3：小李是大学生和运动员。 解：L(x)：x是大学生，P(x)：x是运动员 a：小李 L(a)?P(a) 注：在命题符号化时，如果没有特别指明个体域，则采用全总体域。 将下列命题符号化，并指明其真值。 例1：所有人都长黑头发。 解：M(x)：x为人，F(x)：x长黑头发 例2：每个学生都要参加考试。 ?x (M(x)?F(x)) * * 2.2命题函数与量词 第一篇数理逻辑第二章谓词逻辑 解：M(x)：x为学生，F(x)：x要参加考试 ?x (M(x)?F(x)) 例3：任何整数或是正的或是负的。 解：P(x)：x为整数，Q(x)：x是正数 R(x)：x是负数 ?x (P(x)?(Q(x)?R(x))) 例4：在美国留学的学生未必是亚州人。 解：M(x)：x在美国留学的学生 F(x)：x是亚州人 ??x (M(x)?F(x)) 例5：没有人登上木星。 解： M(x)：x为人，F(x)：x登上木星 ??x (M(x)?F(x)) * * 2.2命题函数与量词 第一篇数理逻辑第二章谓词逻辑 注：量词与否定词?的关系，约定： 出现在量词之前的否定词是否定被量化的整个命题。 练习：勇敢者未必是成功者。 2、n（n?2）元命题符号化 将下列命题符号化 例1：兔子比乌龟跑的快。 解：F(x)：x是兔子，Q(y)：y是乌龟 H(x，y)：x比y跑的快 (?x)(?y) (F(x)?Q(y)?H(x，y)) 例2：有的兔子比所有的乌龟跑的快。 * * 2.2命题函数与量词 第一篇数理逻辑第二章谓词逻辑 (?x)(?y) (F(x)?Q(y)?H(x，y) 例3：不是所有的兔子比乌龟跑的快。 ?(?x)(?y) (F(x)?Q(y)?H(x，y)) 例4：不存在跑的同样快的兔子和乌龟。 L(x，y)：x与y跑的一样快 ?(?x)(?y) (F(x)?Q(y)?L(x，y)) * * 2.3~2. 4一阶谓词公式 第一篇数理逻辑第二章谓词逻辑 定义：一阶语言?的字母表如下： 1)个体常元：a，b，c，… 2)个体变元：x，y，z，… 3)函数符号：f，g，h，… 4)谓词符号：F，G，H，… 5)量词符号：?，? 6)联结词符号：?，?，?，?，? 7)括号与逗号：（）， 定义： ?中项的定义 1)个体常元和个体变元是项。 * * 2.3~2. 4一阶谓词公式 第一篇数理逻辑第二章谓词逻辑 2)若?(x1,x2,…,xn)是任意的n元函数，t1,t2,…,tn是任意的n个项，则?(t1,t2,…,tn)是项。 3)所有的项都是有限次使用1)、2)得到的。 定义：原子公式 设R(x1,x2,…,xn)是?的n元谓词，t1,t2,…,tn是?的任意n个项，则称R(t1,t2,…,tn)是?的原子公式 定义：谓词合式公式 1)原子公式是谓词合式公式。 2)若A为谓词合式公式，则?A为谓词合式公式 3)若A和B为谓词合式公式，则A?B， A?B，A?B，A?B也是谓词合式公式。 4)若A为谓词合式公式，则?x A(x)，?x A(x)也是谓词合式公式。 * * 2.3~2. 4一阶谓词公式 第一篇数理逻辑第二章谓词逻辑 5)仅由有限次使用1)—4)构成的符号串才是谓词合式公式。 合式公式也称谓词公式，简称公式。 定义：辖域，指导变元 约束出现，自由出现 在 ?x A(x)， ?x A(x)中， x指导变元，A为相应量词的辖域。 ?x， 例：指出下列公式中的辖域，指导变元 ，约束出现，自由出现。 1) ?x (F(x，y)?G(x，z)) 1)解：x：约束出现，指导变元 ?x的辖域中，x的所有出现为约束出现；A中不是约束出现的那些项为 自由出现 x的辖域为：F(x，y)?G(x，z) y：自由出现 * * 2.3~2. 4一阶谓词公式 第一篇数理逻辑第二章谓词逻辑 2) ?x (F(x)?G(y))??y(H(x)?L(x,y,z)) 定义：约束变元换名 对公式中的约束变元更改名称符号，这种遵守一定规则的更改称为约束变元换名。 规则： 1)更改的变元名称符号是量词中的指导(约束)变元，以及该辖域中所 2）换名时一定要改为辖域中没有出现的变元名称。 例：?x (P(x)?R(x，y))?L(x,y) 定义：闭式 出现的变元，在公式中的其余部分不变。 可写为?z (P(z)?R(z，y))?L(x,y) * * 2.3~2. 4一阶谓词公式 第一篇数理逻辑第二章谓词逻辑 设A为任意公式,若A中不含自由出现的个体变元,则称A为封闭公式。简称闭式。 *