离散数学Lecture4.ppt

命题逻辑 主要内容 1.??命题和联结词 2.??合式公式 3.? 等价和蕴含 4.??范式和判定问题 逻辑 逻辑：是研究推理的科学。公元前四世纪由希腊的亚里斯多德首创。作为一门独立科学，十七世纪，德国莱布尼兹给逻辑学引进了符号，又称为数理逻辑。 可分为： 1. 形式逻辑（通过数学方法） 数理逻辑 2. 辩证逻辑 指引进一套符号体系的方法。 形式逻辑 形式逻辑：用自然语言研究推理形式。缺点：不准确。 1）限于主宾式语句，再按质按量分成四种： 全称肯定A：凡S均为P； 全称否定E：凡S均非P； 特称肯定I ：有的S为P； 特称否定O：有的S非P。 但人们日常使用的语句却不限于主宾式语句： “我与他争论” “我给你们上《离散数学》课” 形式逻辑 形式逻辑 数理逻辑 数理逻辑（又称符号逻辑）：使用特别的表意符号。是一门用数学方法研究推理形式的科学。是现代数学的重要基础，也是计算机科学的重要基础之一。 （对比自然语言和计算机语言） 数理逻辑中引入了形式语言，组成形式系统，把对形式逻辑的研究归结为对形式系统的研究。有如下优点： 1）表达准确而简练； 2）推理严格而方便； 3）概括程度高，易于分析研究。 数理逻辑 数理逻辑的四大分支： ? ? 逻辑演算（命题逻辑和一阶谓词逻辑）构成其共同基础。 电子计算机=电子学+数理逻辑 命题逻辑的应用 数字电路设计 程序中条件的表达 数据库查询、搜索引擎 人工智能 …… 命题和联结词 推理离不开判断，判断的语言表述就是命题。 命 题 命题：称具有确定真假意义的陈述句为命题。 命题词：表示命题的形式符号。大写拉丁字母，如P。既可表示真命题，又可表示假命题，故称命题变元 T，F：命题常元 （相对于命题变元） 命题的真值： T（1）或F（0） T、F两种含义 命题 真命题：意义为真的命题 假命题：意义为假的命题 简单命题：由简单陈述句表示的判断 复合命题：由复合陈述句表示的判断 例 (1) 10是一个整数 (2) 北京是中国的首都 (3) 3+3=8 (4) x+y=4 (5) 吃过饭了吗 ? (6) 我正在说谎 (7) 快跑！ (8) 啦啦啦啦！ 命题联结词 联结词（操作符）将一个或多个操作数组合成一个更大的表达式（如数值表达式中的“+”） 一元联结词作用于一个操作数（如：-3） 二元联结词作用于两个操作数（如：3×4） 命题联结词作用于命题词或真值（T或F）上 命题联结词总汇 命题联结词 函数：命题联结词可视为函数 设集合B={T, F} 一元联结词： U: B-B 二元联结词： T: B×B-B 否定联结词（?） 定义：给定命题P， ?P表示命题P的否定。读作“非P” 真值表 例 P: 长沙处处清洁 ? P: 长沙不处处清洁 (注意,不是处处不清洁) Q: 这些都是男同学 ? Q: 这些不都是男同学 R: 我的头发是棕色的 ? R: 我的头发不是棕色的 合取联结词（?） 定义：设定P，Q， “P并且Q” 生成新命题P∧Q。读作“P和Q”。 真值表 例 P：我们去植树 Q：我们去浇水 P∧Q：我们去植树并且我们去浇水 P：今天下大雨 Q：3+3=6 P∧Q：今天下大雨并且3+3=6 逻辑上允许 ∧满足结合率和交换率 N个操作数时的真值表 ∧是与汉语中“与”、“和”、“并”的翻译，但不能一概而论。 例: 小王与小张是堂兄弟 析取联结词（?） 定义：设定P，Q，则“P或Q”也是一种命题，记作P∨Q，称为P，Q的析取。读作“P或Q” 真值表 析取联结词（?） p?q表示p可为T，或q可为T，或p和q可同时为T。 “p和q可同时为T”表示析取联结词?是“相容的” ?和?就能够表达各种命题操作 例 P：灯泡有故障 Q：开关有故障 P∨Q：灯泡有故障或开关有故障 练习 P：昨天晚上下雨了。 Q：昨天晚上洒水了。 R：今天早上草坪是湿的。 请问下列表达式代表什么意思？ ?P: R? ?P: ? R ? P ? Q: 异或联结词（?） 定义：设定P，Q，则“P异或Q”也是一种命题，记作P ? Q，称为P，Q的异或。读作“P异或Q” P ? Q 表示P为T，或Q为T，但P和Q不能同时为真。 ?是“不相容的”或，“排斥”或。 异或联结词（?） 真值表 例 P：我的《离散数学》成绩是90分。 Q：我没有修《离散数学》。 P ? Q：我的《离散数学》成绩是90分，或我没有修《离散数学》。（二者不会同时为真） P：李四是男的 Q：