离散数学 课件 PPT 精品课程 考研 大学课程 数学一 第一章 命题逻辑.pptVIP

第1章 命题逻辑 数理逻辑是用数学方法来研究推理的形式结构和推理规律的数学学科。 现代数理逻辑可分为逻辑演算、证明论、公理集合论、递归论和模型论。 本课程介绍的是数理逻辑最基本的内容，也是与计算机科学关系最为密切的：命题逻辑和谓词逻辑（一阶逻辑） 1.1 命题符号化及联结词 命题：能判断真假的陈述句。 真值：一个命题表达的判断结果称为命题的真值。命题的真值有“真”和“假”两种，分别用True、T、1(真)和False、F、0(假)来表示。真值为真的命题称为真命题，真值为假的命题称为假命题。任何命题的真值是惟一的。 注: 一切没有判断内容的句子，无所谓是非的句子，如感叹句、疑问句、祈使句等都不是命题。 例1： 2是素数。 雪是黑色的。 2+3=5 。 明年十月一日是晴天。 这朵花多好看呀！ 3能被2整除. 明天下午有会吗？ 请关上门！ x+y5 。 地球外的星球上也有人。 命题判断的关键：1.是否是陈述句；2.真值是否是唯一的。 简单命题（原子命题）：不能分解为更简单的陈述句。 简单命题又称为命题常项或命题常元。对于真值可以变化的简单陈述句称为命题变项或命题变元。 复合命题：由联结词把几个原子命题联结起来的命题。 表示法： 例3：将下列各命题符号化 李平既聪明又用功. 李平虽然聪明，但不用功. 李平不但聪明，而且用功. 李平不是不聪明，而是不用功. 例4：将下列各命题符号化 只要不下雨，我就骑自行车上班. 只有不下雨，我才骑自行车上班. 若2+2=4，则太阳从东方升起. 若2+2≠4，则太阳从东方升起. 若2+2=4，则太阳从西方升起. 若2+2≠4，则太阳从西方升起. 例5 分析下列各命题的真值 2+2=4当且仅当3是奇数. 2+2=4当且仅当3不是奇数. 2+2≠4当且仅当3是奇数. 2+2≠4当且仅当3不是奇数. 联结词的比较表 小王是游泳冠军或百米赛跑冠军. 小王现在在宿舍或图书馆里. 选小王或小李中的一人当班长. 如果我上街，我就去书店看看，除非我很累. 王一乐是计算机系的学生，他生于1968或1969年，他是三好学生. 定义1.7 命题公式的层次的定义： 若A是单个命题（常项或变项），p,q,r,…,pi,qi,ri,…,0,1,则称A是0层公式. 称A是n+1(n≥0)层公式是指A符合下列情况之一： ① A= ?B,B是n层公式； ② A= B∧C，其中B，C分别为i层和j层公式，且 n=max(i,j)； ③ A= B∨C，其中B，C的层次同②； ④ A= B→C，其中B，C的层次同②； ⑤ A= B?C，其中B，C的层次同②； 若A的最高层次为k，则称A是k层公式. 对一个公式的解释和赋值定义如下： 定义1.8 设A为一个命题公式，p1, p2,…，pn为出现在A中的所有的命题变项。给p1, p2,…，pn指定一组真值，称为对A的一个赋值或解释。若指定的一组值使A的值为真，则称这组值为A的成真赋值，若使A的值为假，则称这组值为A的成假赋值。 含n个命题变项的命题公式，共有2n组赋值。将命题公式A在所有赋值之下取值的情况列成表，称为A的真值表。 构造真值表的步骤： 找出命题公式中所含的所有命题变项p1, p2,…，pn ，列出所有可能赋值（ 2n 个）； 按从低到高的顺序写出各层次； 对应每个赋值，计算命题公式各层次的值，直到最后计算出命题公式的值。 定义1.9 设A为一个命题公式 若A在它的各种赋值下取值为真，则称A为重言式或永真式. 若A在它的各种赋值下取值为假，则称A为矛盾式或永假式. 若A至少存在一组赋值是成真赋值，则称A为可满足式. 1.3 等值演算 定义1.10 设A,B为两个命题公式，若等价式A?B是重言式，则称A与B是等值的，记作A?B. A?B不是命题公式 可通过判断A与B的真值表是否相同，来判断A与B是否等值。 1.4 联结词全功能集 一个n(n≥1)维卡氏积{0,1}n到{0,1}的函数称为一个n元真值函数。设F是一个n元真值函数，则可记为F：{0,1}n→{0,1} 在一个联结词的集合中，如果一个联结词可由集合中的其他联结词定义，则称此联结词为冗余的联结词，否则称为独立的联结词。 若任一真值函数都可以用仅含某一联结词集中的联结词的命题公式表示，则称该联结词集为全功能集。若一个联结词的全功能集中不含冗余的联结词，则称它是极小全功能集。 1.5 对偶与范式 定义1.17 仅含有联结词?,∧,∨的命题公式A中,将∨换成∧,∧换成∨,若A中含0或1,就将0换成1,1换成0,所得命题公式称为A的对偶式,记作A*. 从定义不难看出,A是A*的对偶式,即对偶式是相互的.又(A*)*＝A. 定理1.2 设A和A*互