[工学]离散数学-数理逻辑初步.ppt

离散数学 干红华 hgan@ 浙江大学软件学院宁波分院 2007年8月 前言 计算机科学基础理论的核心课程 研究离散量的结构和相互之间的关系 数学与计算机科学的结合点 主要内容 数理逻辑初步 集合论 代数结构 图论 上述内容之间有密切联系,但是看起来又是非常离散的! 数理逻辑初步 内容提要 用数学方法来研究推理的规律 引进一套符号体系 基本内容：命题逻辑和谓词逻辑 数理逻辑初步 命题逻辑 什么是命题？ 具有真假值判断的陈述句 注意?感叹句、疑问句、祈使句等都不是命题； ? 悖论也不是命题。 真假值的表示 真值=True=T; 假值=False=F 数理逻辑初步 命题种类与表示 1. 原子命题 不能分解为更为简单的陈述句； 通常用大写字母表示，A，B，P，Q 2. 复合命题 有限个原子命题由若干个联结词按一定规则复合构成的; 注意:复合命题的真假值将由它所包含的原子命题的真假值和联结词的逻辑意义所决定. 数理逻辑初步 联结词 (1) 否定 P是一命题, ?P为P的否定; ?P的逻辑意义为当P为真时?P为假；当P为假时， ?P为真。 数理逻辑初步 联结词 (2) 合取 P、Q是两个命题, P∧Q是合取复合命题; P∧Q的逻辑意义为当且仅当P、Q同时为真时， P∧Q为真。 数理逻辑初步 联结词 (3) 析取 P、Q是两个命题, P ∨ Q是析取复合命题; P ∨ Q的逻辑意义为当且仅当P、Q同时为假时， P ∨ Q为假。 数理逻辑初步 联结词 (4) 条件（蕴涵） P、Q是两个命题, P → Q是一个条件复合命题; P → Q的逻辑意义为当且仅当P为真、Q为假时， P → Q为假。 数理逻辑初步 联结词 (5) 双条件（等价） P、Q是两个命题, P ?Q是一个等价复合命题; P ?Q的逻辑意义为当且仅当P和Q的真值相同时，P ? Q为真。 数理逻辑初步 最小联结词集 能够表达其它联结词的逻辑意义，但不能互相表达。 可以证明：最小联结词集为｛ ?， ∧}（或{?， ∨}） ***因为（涉及下面讲的等值公式）： P ∨ Q= ?（ ?P ∧ ?Q）； P → Q= ? P ∨ Q； P ? Q= （P → Q） ∧ （Q→ P）。 数理逻辑初步 命题公式（合式公式） 回忆：联结词需要有一定规则构成复合命题。 递归定义 （1）原子命题是一个命题公式； （2）如果A是命题公式，那么?A也是命题公式； （3）如果A和B是命题公式，那么A∧B、 A ∨ B、 A → B和 A ? B都是命题公式； （4）一个命题公式只能有限次地应用（1）、（2）、（3）得到。 数理逻辑初步 思考 给定任意一串字符，如何判定它是否为一个命题公式？ 数理逻辑初步 表达与翻译 目标：知识表达（推理的第一步） 过程：原子命题+联结词+逻辑意义 例子 Q：上海到北京的火车是下午五点半或六点开。 A：P=上海到北京的火车是下午五点半开； Q=上海到北京的火车是下午六点开。 原句为（P ∧ ?Q） ∨（ ?P ∧ Q） 数理逻辑初步 指派与真值表 指派：命题公式中所含的原子命题的真值的一种组合； 真值表：所有指派列成的表。 请看书中例题 数理逻辑初步 命题公式等值（等价公式） 两个命题公式在所有不同指派下所对应的真值相同，即它们的真值表相同，那么这两个命题公式等值。 回忆：表达的例子（上海到北京的火车） ?（ P ? Q）=（P ∧ ?Q） ∨（ ?P ∧ Q） 数理逻辑初步 命题等值基本定律 数理逻辑初步 等值置换与证明 等值置换：如果Ｘ是Ａ的子命题公式，Ｘ＝Ｙ，那么将Ａ中的Ｘ用Ｙ来置换所得到的公式Ｂ与Ａ等值，即Ａ＝Ｂ。 等值公式的证明 （１）真值表相同； （２）经过等值置换后得到。 数理逻辑初步 重言式（永真式） 永真公式：所有指派下都取真值； 永假公式：所有指派下都取假值。 几个结论： （１）任何两个永真式的合取（或析取）都永真； （２）永真式经等值置换后仍永真； （３）Ａ＝Ｂ当且仅当Ａ?Ｂ永真。 数理逻辑初步 对偶 注意：传统上，命题公式通常包含{?，∧，∨}，而不是最小联结词集{?，∧}或{?，∨} 对偶式：在命题公式A中将联结词∨换成∧，将∧换成∨，T换成F，F换成T，所得公式A*与A互为对偶。 数理逻辑初步 关于对偶的几个结论 设A和A*是对偶式，P1，P2，…，Pn是出现在命题公式中的原子命题，则 ?A(P1，P2，…，Pn)= A*(? P1， ? P2，…， ? P