离散数学数理逻辑课件.pptVIP

离散数学教程 上海电力学院 前言 四、参考书 前言 离散数学是现代数学的一个重要分支，是学习计算机科学与术的重要 2.2命题函数与量词 第一篇数理逻辑第二章谓词逻辑 一般对全称量词，此特性谓词常作蕴涵前件。 如?x A(x)可写成?x (M(x)?A(x))，M(x)为 A(x)的特性谓词。 一般对存在量词，此特性谓词常作合取项。 如?x H(x)可写成?x (M(x)?H(x))，M(x)限制H(x)的变化。 三、一阶逻辑命题中的符号化问题 1、一元谓词符号化 例1：凡人都有呼吸。 解：F(x)：x为人，H(x)：x呼吸 ?x (F(x)?H(x)) 例2：有人用左手写字。 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)) 1.6 其它联结词及联结词完备集  第一篇数理逻辑第一章命题逻辑 1）S1= {?，?，?，?} 4）S4= {?，?} 5）S5= {?，?} 6）S6= {?} 2）S2= {?，?，?，?，?} 3）S3= {?，?} 7）S7= {?} 例1：仅用?，?表示（p ? q） ? ?p。 例2：用?表示?p 。 定理：S={?，?}或S={?，?}是最小联结词完备集。 1.7对偶与析取范式和合取范式(范式) 第一篇数理逻辑第一章命题逻辑 在给定的命题公式中，将联结词“?”换成“?”，将联结词“?”换成 注：A也为A*的对偶式。 例：写出下列各式的对偶式 一、对偶式 定义：A的对偶式 定理：设A与A*是对偶式, P1,P2，…,Pn是出现在A与A*中的原子 ?A(P1,P2,…,Pn)?A*(?P1,?P2,…,?Pn) 定理：设P1,P2,…,Pn是出现在A与B中的原子变元，如果A ? B，则A*? B*。 “?” ，若有特殊元“0”或“1”亦相互取代，所得公式A*称为A的对偶式。 (P?Q)?R，(P?Q)?1，P?Q，P?Q 则: A(?P1,?P2,…,?Pn)??A*(P1,P2,…,Pn) 1.7对偶与析取范式和合取范式(范式) 第一篇数理逻辑第一章命题逻辑 简单析取式：仅由有限个文字构成的析取式。 简单合取式：仅由有限个文字构成的合取式。 二、析取范式和合取范式 定义： 例：P，P?Q，P?Q??Q 为简单析取式 注：单个文字既可为简单析取式又为简单合取式。 定理： 文字：命题变元或命题变元的否定。 P，P?Q，P?Q??Q 为简单合取式 1）一个简单析取式为重言式的充要条件是它同时含有命题变元和命 题变元的否定。 1.7对偶与析取范式和合取范式(范式) 第一篇数理逻辑第一章命题逻辑 析取范式：由有限个简单合取式构成的析取式。 合取范式：由有限个简单析取式构成的合取式。 2）一个简单合取式为矛盾式的充要条件是它同时含