离散数学课件-第一章-命题逻辑-1.ppt

第一篇 数理逻辑 什么是数理逻辑 ？ 数理逻辑是用数学的方法研究思维规律的一门学科。由于它使用了一套符号，简洁地表达出各种推理的逻辑关系，因此数理逻辑一般又称为符号逻辑。 为什么要研究数理逻辑？ 程序＝算法＋数据 算法＝逻辑＋控制 第一篇 数理逻辑 第一章 命题逻辑 命题逻辑也称命题演算，或语句逻辑。它研究以命题为基本单位构成的前提和结论之间的可推导关系。 但究竟什么是命题？ 如何表示命题？ 如何构造出复杂的命题？ 如何由一组前提推导一些结论？ 在本章将讨论这些问题。 第一章内容提要 1-1 命题及其表示法 1、命题 具有确切真值的陈述句称为命题,该命题可以取一个“值”，称为真值。 真值只有“真”和“假”两种，分别用“Ｔ”(或“１”)和“Ｆ”(或“０”)表示。 命题举例 2、命题的分类 一般来说，命题可分两种类型： 原子命题(简单命题)：不能再分解为更为简单命题的命题。 复合命题：可以分解为更为简单命题的命题。而且这些简单命题之间是通过如“或者”、“并且”、“不”、“如果...则...”、“当且仅当”等这样的关联词和标点符号复合而构成一个复合命题。 命题举例 今天天气很冷。 今天天气很冷并且刮风。 今天天气很冷并且刮风，但室内暖和。 1-2 命题联结词 1、否定联结词 设P是任一命题，复合命题“非P”(或“P的否定”)称为P的否定式(Negation)，记作?P，“?”为否定联结词。 设P、Q是任两个命题，复合命题“P并且Q”(或“P和Q”)称为P与Q的合取式(Conjunction)，记作P∧Q，“∧”为合取联结词。 P∧Q为真当且仅当P，Q同为真。 析取联结词“?”对应的是相容（可兼）的或。 条件式的真假值首先由公元前三世纪希腊斯多葛学派以下表所示的真值表给出。 实践证明, 建筑在这个简便的标准之上的数理逻辑, 是复杂精细的数学推理的合适基础。 条件式的真值表 思考： 有一位父亲对儿子说: “如果我去书店, 就一定给你买电脑报”。试问: 在什么情况下, 这位父亲算失信？ 五个联结词的真值表 符号化下列命题 （1）广东不是人口最多的省份； （2）当且仅当明天不下雪且不下雨，我才去学校； （3）若不是他生病或出差，我是不会同意他不参加学习。 命题联结词使用约定 为了不使句子产生混淆，对命题联结词之优先级作如下约定： 例 设命题 P：明天上午七点下雨； Q：明天上午七点下雪； R：我将去学校。 符号化下述语句： 如果明天上午七点不是雨夹雪，则我将去学校 如果明天上午七点不下雨并且不下雪，则我将去学校 如果明天上午七点下雨或下雪，则我将不去学校 明天上午七点我将雨雪无阻一定去学校 命题联结词的应用 联结词“∧”、“∨”、“┐”与构成计算机的与门、或门和非门电路是相对应的，从而命题逻辑是计算机硬件电路的表示、分析和设计的重要工具。 命题联结词的应用 例 1 用复合命题表示如下图所示的开关电路： 1-3 命题公式与翻译 命题公式是由命题常元、命题变元, 命题联结词和圆括号等所组成的字符串。 反之, 是否任何的符号串都是命题公式呢？ 例如, ∨B，A?? 1-3 命题公式与翻译 定义1-3.1 命题合式公式（wff） 原子命题本身是一个命题公式； 如A是命题公式，则(┐A)也是命题公式； 如A，B是命题公式，则(A∧B)、(A∨B)、(A→B)、(A?B) 也是命题公式； 命题公式是仅由有限步使用规则1-3后产生的结果。该公式常用符号G、H、…等表示。 例 符号串：((P∧(Q∨R))→(Q∧(┐S∨R))))； (┐P∧Q)； (P→(┐(P∧Q)))； (((P→Q)∧(R→Q))?(P→R))。 等都是命题公式。 符号串：(P→Q)∧┐Q)； (P→Q； (┐P∨Q∨(R； P∨Q∨。 等都不是合法的命题公式。 1-4 真值表与等价公式 定义 设P1、P2、…、Pn是出现在公式G中的所有命题变元，指定P1、P2、…、Pn一组真值，则这组真值称为G的一个指派（赋值、解释），记为I。 一般来说，若有ｎ个命题变元，则应有2n个不同的指派。 定义1-4.1 在wff中，对于分量指派真值的各种可能组合，就确定了这个命题公式的各种真值情况，把它汇列成表，称为真值表。 真值表 构造真值表的约定 命题变元按字典序排列 对公式的每个解释，以二进制从大到小（或从小到大）顺序写出 若公式复杂，可先列出各子公式的真值（括号应从里层向外层展看），最后列出所给公式的真值 等价公式 观察表中公式┐(P?Q)和公式(┐P?┐Q)，它们的