离散数学11-14.docVIP

第1章 命题逻辑 数理逻辑是用数学方法来研究推理的形式结构和推理规律的数学学科。 这里所指的数学方法就是引进一套符号体系的方法。 所以数理逻辑又称符号逻辑，它是从量的侧面来研究思维规律的。 计算机及计算机科学与数理逻辑有着十分密切的关系。人们说数字电子计算机是数理逻辑与电子学结合的产物，这话不假。 现代数理逻辑可分为逻辑演算、证明论、公理集合论、递归论和模型论。 本课程介绍的是数理逻辑最基本的内容，也是与计算机科学关系最为密切的：命题逻辑和谓词逻辑（一阶逻辑） 1.1 命题符号化及联结词 1.1.1 命题及其表示法 命题：能判断真假的陈述句。 真值：一个命题总具有一个“值”，即“真”（用T或1表示）或“假”（用F或0表示），称为真值。 一切没有判断内容的句子，无所谓是非的句子，如感叹句、疑问句、祈使句等都不是命题。 例1： 2是素数 雪是黑色的 2+3=5 明年十月一日是晴天。 这朵花多好看呀！ 明天下午有会吗？ 请关上门！ x+y5 地球外的星球上也有人。 我学英语，或者我学日语。 判断的关键：1.是否是陈述句；2.真值是否是唯一的。 简单命题（原子命题）：不能分解为更简单的陈述句。 复合命题：由联结词、标点符号把几个原子命题联结起来的命题。 表示法： 表示法 例子 有关概念 简单命题 p,q,r,…,pi,qi,ri,… p: 2是素数 q:雪是黑色的 命题符号化：将命题的符号放在该命题的前面 命题常项（常元） 同上 同上 真值确定的简单命题 命题变项（变元） 同上 p: x+y5 真值可以变化的简单陈述句 复合命题 p∧q 2是素数和偶数 一个符号表示的是命题常项还是命题变项由上下文决定。 1.1.2 联结词（也称真值联结词或逻辑联结词或逻辑运算符） p,q为两个命题 复合命题 …式 记作 联结词 为真的条件iff 优先级 其他 否定 非p(p的否定) p p为假 1 合取 p并且q(p和q) p∧q ∧ p与q同时为真 2 既…又…,不仅…而且 析取 P或q p∨q ∨ p与q至少一个为真 3 相容或 蕴涵 如果p则q p→q → (P为真且q为假) 4 只要p就q，p仅当q 等价 P当且仅当q pq p，q真值相同 5 将复合命题符号化的步骤是 分析出简单命题，符号化 用联结词联结简单命题 例2：将下列各命题符号化 3不是偶数 李平即聪明又用功 李平虽然聪明，但不用功 李平不但聪明，而且用功 李平不是不聪明，而是不用功 李文与李武是兄弟 王燕学过法语或英语 派小王和小李中的一人去开会 只要不下雨，我就骑自行车上班（除非下雨，否则我就骑自行车上班） 只有不下雨，我才骑自行车上班（如果下雨，我是不骑自行车上班） 若2+2=4，则太阳从东方升起 若2+2≠4，则太阳从东方升起 若2+2=4，则太阳从西方升起 若2+2≠4，则太阳从西方升起 燕子飞回南方，春天来了。（分析真值） 2+2=4当且仅当3不是奇数（分析真值） 小王是游泳冠军或百米赛跑冠军 小王现在在宿舍或图书馆里 选小王或小李中的一人当班长 如果我上街，我就去书店看看，除非我很累 王一乐是计算机系的学生，他生于1968或1969年，他是三好学生 一个人起初说“占据空间的，有质量的而且不断变化的叫做物质”；后来他改说“占据空间的有质量的叫做物质，而物质是不断变化的”。 解：p：它占据空间 r：它不断变化 q：它有质量 s：它是物质 提示：根据命题的实际含义，不拘泥于原句形式地确定原子命题和选用联结词 1.2 命题公式及分类 命题公式：由命题常项或命题变项组成的复合命题形式。 合式公式： 单个命题常项或变项p,q,r,…,pi,qi,ri,…，0，1是合式公式； 如果A是合式公式，则（A）也是合式公式； 如果A，B是合式公式，则（A∧B），（A∨B），（A→B），（AB）也是合式公式 只有有限次地应用（1）—（3）组成的符号串才是合式公式 合式公式也称命题公式或公式。 例3： （1）（p∨q）; p→（p→q）; （p∧q）r （2）pq→r ; p∨q）→r ; （（p→q）→（q→p））) 命题公式的层次的定义： 若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= BC，其中B，C的层次同② 若A的最高层次为k，则称A是k层公式 例4：(p∧q) →(r∨s)