《离散数学》PPT课件（全）.pptx

第一章 命题逻辑1.1 命题与联结词1.2 命题公式与赋值1.3 等值演算1.4 联结词的全功能集1.5 范式1.6 推理理论命题逻辑的特征在于，在研究和考察逻辑形式时，把一个命题只分析到其中所含的命题成分为止，不再进一步分析下去，不把一个简单命题再分析为非命题成分的组合，不把谓词和量词等非命题成分分析出来。把一个简单命题再分析为非命题成分的组合，这是谓词逻辑要作的事情。 1.1命 题 与 联 结 词自然语言将命题表达为具有确定真假意义的陈述句。若该语句表达的意义符合事实，就称其为真命题。若该语句表达的意义不符合事实，就称其为假命题。我们用 0 表示假命题，用1表示真命题，称 0 和 1 为真值，并称{0,1}为真值集合，称假命题的真值为 0，真命题的真值为 1。 判断一个句子是否为命题，应首先判断它是否为陈述句，再判断它是否有唯一的真值。只有具有唯一真值的陈述句才是命题。雪是白的。真命题2 是奇数。 假命题 x ＋ y ＞5 不是命题你是谁？ 不是命题二十一世纪时有人住在月球上。 是命题，不知道是真命题还是假命题。简单陈述句表达的命题称为简单命题或原子命题。由命题和联结词可以构成复合命题，其中的命题称为该复合命题的支命题。8不是奇数。支命题： 8是奇数 联结词：不2是偶数并且3是偶数。 假命题支命题： 2是偶数3是偶数 联结词：并且2是偶数或者3是偶数。 真命题支命题： 2是偶数3是偶数 联结词：或者复合命题的真值由支命题的真值和联结词共同决定。 真值表复合命题的真值由支命题的真值和联结词共同决定。可以把联结词看做真值函数，即自变量是真值，函数值也是真值的函数。因为真值只有两个，即 0 和 1，因此可以把真值函数在自变量一切可能取值下的函数值列成表，这样的表称为真值表。 一元真值函数只有一个自变量，其真值表有两行。共有四个一元真值函数，它们的真值表如表1.1所示。 表1.1 一元真值函数的真值表pF1(p)F2(p)F3(p)F4(p)0001110101因为每个自变量的取值可以有两种选择，即 0 和 1。因此二元真值函数的真值表有 2 ? 2 = 4 行，而真值表的每一行的值可以取1，也可以取 0，所以有 24 = 16个不同的二元真值函数。一般说来，n 元真值函数的真值表有 2n 行，有 个不同的 n 元真值函数。定义1.1 设 p 是命题。复合命题 “非p” 称为 p的否定式，记为 ?p， ?称为否定联结词。一元联结词?的真值表p?p0110定义1.2 设 p, q 是命题。复合命题 “ p 并且 q ” 称为 p 与 q 的合取式，记为 p ? q ， ? 称为合取联结词。复合命题 “ p 或者 q ” 称为 p 与 q 的析取式，记为 p ? q ， ? 称为析取联结词。复合命题 “ p 或 q 恰有一个成立 ” 称为 p 和 q 的异或式，记为 p q ， 称为异或联结词。复合命题 “如果 p，则 q ” 称为 p 与 q 的蕴涵式，记为 p ? q ，?称为蕴涵联结词。复合命题 “ p当且仅当 q ” 称为 p 与 q 的等价式，记为 p ? q ， ? 称为等价联结词。 二元连结词 ?, ?, , ?, ? 的真值表pqp ? qp ? qp qp ? qp ? q0000011010111010011001111011蕴涵联结词 ? 相当于汉语中的 “如果…，则…”，但与汉语中的“如果…，则…”有区别。在日常语言中，只有“如果 p，则 q”中的p 和 q 存在某种意义上的联系时，“如果 p，则 q”才是有意义的。例如，“如果太阳从西边出来，则雪是黑的”这句话是毫无意义的。实际上，汉语中的“如果…，则…”不是真值函数。在数理逻辑中，我们把 ? 定义为蕴涵联结词，只要 p 和 q 都是命题，不管它们是否有意义上的联系， p ? q 都是一个命题。 “如果太阳从西边出来，则雪是黑的”是真命题。父亲对孩子说：“如果明天天气好，我就带你去颐和园玩。” 明天天气不好，父亲没带孩子去颐和园玩。明天天气不好，父亲带孩子去颐和园玩了。明天天气好，父亲没带孩子去颐和园玩。明天天气好，父亲带孩子去颐和园玩了。只有第三种情况父亲说了假话。我们用带或不带下标的 p, q, r, s, t 等小写英文字母表示简单命题，用它们和六个常用联结词组成的符号串表示复合命题，这个过程叫做命题符号化。张三和李四是朋友。 这是一个简单命题。 p：张三和李四是朋友。 该命题符号化为 p 。李明是计算机系的学生，他住在312室或313室 。p：李明是计算机系的学生。q：李明住在312室。r：李明住在313室。该命题符号化为p ? (q r)虽然交通堵塞，但是老王还是准时到达了车站。 p：交通堵塞。q：