[理学]离散数学01.ppt

第1章 命题逻辑 王瑞民 iermwang@zzu.edu.cn 第1章 命题逻辑 §1 基本概念 §2 公式的等价关系 §3 范式 §4 公式的蕴涵关系 §5 连接词的完备集合 §6 半形式化推导方法 逻辑 逻辑：研究人类思维和推理规律的一门学科 数理逻辑：用数学的方法 即建立一套符号系统 研究思维和推理规律的一个逻辑分支 包括命题逻辑与谓词逻辑 §1 基本概念 1 命题 2 连接词 3 公式 4 重言式 1.命题 命题：能判明真假的陈述句 真命题的真值用1(或 True, T)表示，假命题的真值用0(或 False, F)表示 命题的分类 简单命题：只含有一个内容的命题。也称为原子命题 简单命题用单个字母表示(一般用大写字母表示) 复合命题：含有多个内容的命题 复合命题是用一些连接词将多个简单命题连接起来的复合句 复合命题中的连接，需要引进一些符号来表示 举例 （1）3+2=5 （2）郑州是河北的省会。 （3）中国承办2008奥运会。 （4）5-3=1 （5）x+2=5 （6）2+3=5并且2×3=5 （7）如果2+3=4，那么雪是黑的。 （8）今天下雨吗？ （9）请把门关上！ §1基本概念 1 命题 2 连接词 3 公式 4 重言式 连接词 （1）郑州不是河北省的省会。 （2）2+3=5并且2×3≠5。 （3）今天刮风或者下雨。 （4）如果2+3=4，那么雪是黑的。 （5）3-2﹥0当且仅当3﹥2。 命题变元 代数中，x、y、z…表示变量，在一定范围内取值 命题变元也是一种变量，取值为一些命题 命题变元用具体的简单命题代换后，命题变元的值才有能确定具体的值（T或F） 命题变元常用小写英文字母表示：p,q,r… 具体的简单命题也称为命题常元 否定命题 与命题p真值相反的命题，称为p的否定命题 p的否定命题记为?p，读作非p p：郑州是河南省的省会 ?p：郑州不是河南省的省会 q：今天没有下雨 ?q：今天下雨 常用否定词 非 不 没有 无 并不 … 真值表 按各命题变元不同的值，求与之相关的命题的表，称为真值表 否定命题的真值依赖于原来命题的真值 求?p的真值表 合取命题 只有p与q的真值都为T时，其真值才为T的命题，称为命题p与命题q的合取命题，记做p^q，读作p与q 真值指派 给出p,q真值的一切可能组合T,T;T,F;F,T;F,F 每一种组合，称为p,q的一组真值指派 例 A:53 B:37 A^B：53且37 常用合取词 与 并且 同时 以及 既…又… 又 不但…而且… … 析取命题 只有p与q的真值都为F时，其真值才为F的命题，称为命题p与命题q的析取命题，记做p?q，读作p或q 例 A:53 B:37 A?B：53或37 或 今天打雷或下雨 “或”表示：要么打雷，要么下雨，或既打雷又下雨。即可兼的“或” 离散数学这门课在第18周或第19周考试 “或”表示：要么在第18周考试，要么在第19周考试，既在第18周又在第19周考试是不可能的。即不可兼的“或” 析取的“或”与可兼的“或”一致 条件命题 只有p的真值都为T且q的真值为F时，其真值才为F的命题，称为命题p与命题q的条件命题 记做p?q，读作若p则q p、q分别称为条件命题的前件和后件 例 “如果我得到这本小说，那么我今夜就读完它”。判断这句话何时为假。 如果我得到这本小说，今夜我读完它。真 如果我没有得到这本小说，今夜我读完它。没有理由认为假，也为真 如果我得到这本小说，今夜我没有读完它。假 如果我没有得到这本小说，今夜我没有读完它。也没有理由认为假，也为真 常用条件词 若…则… 只要…就… 当…则… 若…那么… 必须…以便… … 双(重)条件命题 只有p与q的真值同为T且或同为F时，其真值才为T的命题，称为p与q的双(重)条件命题 记做p ?q，读作p当且仅当q p当且仅当q，与数学上“p是q的充要条件”一致 例 A:23 B:3-20 A?B，即“23当且仅当3-20” 总结：连接词 否定连接词? p ?p 0 1 1 0 “非” “不” “没有” “是不对的” 合取连接词^ p q p^q 0 0 0 0 1 0 1 0 0 1 1 1 “与” “并且” “不但， 而且” 析取连接词v p q pvq 0 0 0 0 1 1 1 0 1