01命题逻辑01解读.pptVIP

第一部分 数理逻辑 Mathematical Logic 数理逻辑 数理逻辑是研究推理方法的数学分支， 提供确定论据是否成立的规则和方法。 数学中用逻辑推理来证明定理。 计算机科学中用逻辑推理来证明定理和证明程序的正确性。 逻辑推理 1.如果下雨，则菜价会上涨。菜价上涨了，因此下了雨。 2.如果丽莎今年工作表现好，她会得到奖金。如果她得到奖金，她会去度假。如果她去度假，她会去航海。丽莎没有去航海，因此她没有得到奖金。 3.如果我的办公桌上有支票簿，则说明我已经付过电话费。我在吃早饭时查看电话账单或在办公室查看电话账单。如果在早餐时查看电话账单，则支票簿在早餐桌上，说明我没有付电话费。如果我在办公室查看电话账单，则支票簿在我的办公桌上，支票簿到底在哪里？ 第1章 命题逻辑 内容：命题与联接词 真值表 命题公式 等值演算 范式 目的：命题符号化 命题公式的等值演算 求主析取范式主合取范式 1.1命题与联接词 内容： 命题及其真值 命题联接词的逻辑定义 目标： 熟练应用命题联接词进行命题的符号化/翻译 命题（statement/proposition） 可以为真或假、但不能同时既为真又为假的陈述句。 例1: (1)能被2整除的数是偶数。 (2)离散数学是计算机专业学生的必修课。 (3)如果A是B的子集，则A不是B的幂集的元素。 (4) A ? B 等价于A ? B 并且A ≠ B。 (1)和(2)为不能被分解为更简单的陈述句--原子命题 (3)和(4)是由简单陈述句通过联结词联结而成的陈述句--复合命题 命题的二要素—真值、陈述句 例2： (1)每个大于4的偶数都是两个奇素数之和。 哥德巴赫猜想 命题 (2)11+101=1000。 命题 例3： (1) x是5的倍数。 命题函数 (2) 我正在说假话。 悖论 命题示例 a = max {b,c} 可表示为命题： a是b和c的最大值。 a具有如下性质： （1）a ≥ b 且 a ≥ c （2）a = b 或 a = c 真值与命题表示 命题被赋予的“真”或“假”值称为真值（truth value）。 真 T(truth) 或 1 假 F(false) 或 0 通常用字母（本讲义为小写）表示命题。 p：能被2整除的数是偶数。 q：离散数学是计算机专业学生的必修课。 命题联接词（logical connectives） 非（negation） ?p：非p 合取（conjunction） p∧q： p并且q 析取（disjunction） p∨q： p或者q 蕴涵（implication,或条件condition） p→q： p蕴涵q 等价（双蕴涵 biimplication, 或双条件bicondition） p?q： p等价q 非 设p是一个命题，则p的非命题为?p。 ?p的真值与p的真值相反。 例如: p： a是b和c的最大值。 ?p: a不是b和c的最大值。 ?p与p的真值对应关系如下表（真值表）： 合取 设p和q是命题，则p和q的合取记作p∧q，称为“p并且q”。 命题p∧q为真的条件是p和q同为真，否则p∧q 为假。 p∧q的真值表如下： 合取命题示例 若 令 p： a ≥ b 。 q： a ≥ c 。 则 p∧q表示命题： a ≥ b 且 a ≥ c 。 析取 设p、q是命题，其析取记作p∨q，称为 “p或者q”。 命题p∨q为真当且仅当p，q中至少一个为真。 p∨q的真值表如下： 析取命题示例 若令： p： a = b ； q： a = c。 则 p∨q表示命题： a = b 或 a = c。 条件 设p和q是命题，命题“如果p，则q”称为蕴涵或条件命题，记作p→q。 当p为真且q为假时，p→q为假，否则p→q为真。 p→q的真值表如下： 条件命题示例 令：p： a是b和c的最大值。 q： a ≥ b 。 r： a ≥ c 。 s： a = b。 u： a = c。 （1）