- 1、本文档共133页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
离散数学Lecture4
命题逻辑 主要内容 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:
文档评论(0)