离散数学教程课件.pptVIP

可以把自然语言中的有些语句，转变成数理逻辑中的符号形式，称为命题的翻译。 命题翻译时应注意下列事项： （1）确定所给句子是否为命题。 （2）句子中联结词是否为命题联结词。 （3）要正确的选择原子命题和合适的命题联结词。 例8 设 P : 明天下雨， Q : 明天下雪， R : 我去学校。 试把下列命题符号化: (1) 如果明天不是雨夹雪, 我就去学校。 (2) 如果明天既不下雨又不下雪, 我就去学校。 (3) 明天下雨或者下雪, 我就不去学校。 例10 设 P : 今天下雨。 Q : 今天下雪。 R : 今天天晴。 试把下列形式语言翻译成自然语言: (1)┐(P∧Q ) (2) R ( ┐P∧┐Q ) (3) P∨Q→┐R * * 离 散 数 学 第一部分 数理逻辑 　　数理逻辑又名符号逻辑，是一门用数学方法研究推理过程的科学。逻辑学主要是研究各种论证。它可以是有意义的一般论证，也可以是科学理论中的数学证明或结论。建立逻辑学的主要目的在于探索出一套完整的规则，按照这些规则，就可以确定任何特定论证是否有效。这些规则，通常称为推理规则。同其它科学理论一样，也可以把推理理论公式化(由于自然语言易产生二义性, 用它来表示严格的推理就不合适了)。由于在逻辑学中使用了符号，故数理逻辑也称为符号逻辑。 　　 命题逻辑是数理逻辑的基本组成部分. 本章重点：命题、命题的符号化、命题联结词及其真值、 命题公式及其赋值 本章难点：命题公式及其赋值 第一章 命题逻辑 1.1 命题及命题联结词 一、 命题及其表示法 能够判断真假的陈述句称作命题。 1 命题的概念 真值 ：作为命题的陈述句所表达的判断结果 真值只能取两个：真或假。 因为只有两种真值，所以这种逻辑有时称为二值逻辑。 真值为真的命题称为真命题；真值为假的命题为假命题。 判断句子是否为命题的标准： 　(1)陈述句 　(2)有唯一的真值 说明： 命题必须是陈述性语句，而不能是疑问句、命令句、 感叹句等； 2. 命题语句或者为真或者为假，二者必取其一，即命题的真值是唯一的 例1 判断下列句子是不是命题: (1) 4是素数。 (2) 　是无理数。 (3) (4) 火星上有水。 (5) 2005年元旦是晴天 (6) 　　　　　　　　 (7) 请不要吸烟！ (8）这朵花真美丽啊！ 　 (9）我正在说假话. 假命题 真命题 命题 命题 由真推出假，又由假推出真的陈述句称为悖论，凡悖论都 不是命题 。 2 命题与真值的符号化 本书中命题用大写英文字母表示： 用1 和 0 分别表示“真”和“假”, 于是命题的真值取值为1或0. 3 原子命题与复合命题 不能分解成更简单的语句的命题称为原子命题。 原子命题中的“原子”取原子的“不可再分”之意, 它是最基本 的命题, 相当于自然语言的简单陈述句。 例２ 下面的命题由哪些原子命题组成: (1) 只要明天天气好, 我就去春游。 (2) 如果10是一个大于１的整数, 则10的大于１的最小因数一定是素数。 解 　(1) 有两个原子命题P 和Q , 其中 P : 明天天气好。 Q : 我去春游。 (2) 有两个原子命题R 和S , 其中 R : 10是一个大于１的整数。 S : 10的大于１的最小因数是素数。 多个原子命题由联结词和圆括号联结起来构成的命题称为复 合命题。 复合命题的真假值只与原子命题的真假值有关。 二、联结词 定义 1.1 若P是一个命题, 则由否定词┐和命题P组成的复合命题┐P称为P的否定式, 读作“非P”。 ┐P的真值定义为 命题┐P和P的关系可以用下表表示。 称为┐P的真值表。 1 否定联结词﹁ ┐P为真 当且仅当P为假 0 1 1 ﹁P 0 P 定义 1.２　若P,Q是两个命题, 则由合取词∧和命题P,Q 组成的复合命题 P∧Q 称为P,Q的合取式, 读作“P且Q”。 P∧Q 的真值定义为 P∧Q为真当且仅当P,Q都为真 因此, P,