- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
资料来自网络,请保护知识产权,请您下载后勿作商用,只可学习交流使用。
离散数学 主讲教师:王 影 电话 信箱:Teacher_wy@163.com 第一章 命题逻辑 命题与合式公式 逻辑等值式 范式 推理理论 命题与合式公式 命题的定义:自然语言中能描述判断的陈述句;自然语言中有确切的肯定与否定的陈述句;具有唯一真值的陈述句。 例子:2不是素数。 木星上有水。 金字塔是外星人修建的。 今天是五四青年节。 张红和王兰都看过这部电影。 如果我是你,我决不答应。 命题的真值 真:1 ;T,t ;True--真命题 假:0 ;F,f ;False--假命题 命题是不考虑其内在的逻辑联系的 如果5+3=2,则鸟会飞。 命题的基本类型 简单命题:作为语句来讲是不可再分的(原子命题) 复合命题:从句(状语从句、表语从句、定语从句、宾语从句等),并列语句等,关键是联结词。复合命题是使用联结词将简单命题连接起来的命题。 5种联结词 ?P 或 not 、否、不 P∧Q and、和、与 P∨Q or、或、要么 P→Q if…then、如果…那么 P?Q 当仅当、充要条件 ?P,P∧Q,P∨Q ?P是P的否定式,not是一元联结词; P∧Q是P、Q的合取式;and P∨Q是P、Q的析取式。or 说明:“∧” 属于二元(binary)运算符. 合取运算特点:只有参与运算的二命题全为真时,运算结果才为真,否则为假。 自然语言中的表示“并且”意思的联结词,如“既…又…”、“不但…而且…”、“虽然…但是…”、“一面…一面…”、 “…和…”、 “…与…”等都可以符号化为∧ 。 将下列命题符号化. (1) 李平既聪明又用功. (2) 李平虽然聪明, 但不用功. (3)李平不但聪明,而且用功. (4)李平不是不聪明,而是不用功. 解: 设 P:李平聪明. Q:李平用功. 则 (1) P∧Q (2) P∧ ┐Q (3) P∧Q (4) ┐(┐P)∧ ┐Q 例如: (1) 李敏和李华是姐妹。 (2)李敏和张华是朋友。 注意:不要见到“与”或“和”就使用联结词∧ ! 例1. P: 天津是一个城市. Q: 3是偶数. 于是: ┐P: 天津不是一个城市. ┐Q: 3不是偶数. 例2. P:苏州处处清洁. Q:这些都是男同学. ┐P:苏州不处处清洁 (注意,不是处处不清洁). ┐Q:这些不都是男同学. 在电路图中的应用 但是并不是所有的或者都是“∨ ” 灯泡坏了或者开关坏了。 老王或者小李可以做这个工作。 今天下课后,我东行或者西行。 明天8点我上图书馆或者上教室。 (2)林芳学过英语或法语。 (可兼或) 设P:林芳学过英语。 Q:林芳学过法语。 则上述命题可符号化为: P ∨ Q (3)派小王或小李中的一人去开会。(排斥或) 设P:派小王去开会。Q:派小李去开会。 则上述命题可符号化为:(P∧? Q) ∨(? P∧Q) (4)人固有一死,或重于泰山或轻于鸿毛.(排斥或) (5)ab=0, 即a=0 或 b=0. (可兼或) 由此可见, “P ∨ Q”表示的是“可兼或”. 异或的真值表 蕴涵词 蕴涵词(Implication):?,P ?Q,如果P,那么Q。IF P,then Q。P、Q的蕴涵式,P称为蕴涵式的前件,Q称为蕴涵式的后件。 P ?Q为假,只有在前件为1,后件为0时。 蕴涵式P → Q 如果我是你,我肯定不会答应。 如果下雪了,我们就去堆雪人。 P:下雪了;Q:我们去堆雪人; 原命题为: P → Q 现在,1.下雪了,并且我们堆了雪人,即是P、Q=1;原命题为真; 2.下雪了,但是我们没有堆雪人,原命题为假; 3.没有下雪,…… 蕴涵式P → Q的说明 以下命题
您可能关注的文档
- 有关(新) 2012雨花国税企业 所得税年度纳税申报须知.ppt
- 教案(水二中王泽宇妈妈)关爱儿童健康成长.ppt
- 测系大修(渔家傲秋思).ppt
- 有关(苏教版)四年级语文课件 习作一.ppt
- 教案(语文S版)五年级语文课件 七律·长征.ppt
- 管理(语文S版)五年级语文课件 海上日出.ppt
- 有关(高考复习精品)2010届高考语文专题复习精品课件包:翻译讲课.ppt
- 教案-打印的整理稿.doc
- 管理-禁毒知识教育幻灯片.ppt
- 有关0 前言.ppt
- 半导体制程培训CMP和蚀刻.pptx.docx
- 张力架线及跨越架施工及计算培训课件.pptx
- 河南省新未来2025~2026学年高三年级12月质量检测英语(含答案).docx
- ppt 模板 -工作汇报项目成果展示经典思维模型复盘分析数据可视化 今年的PPT汇报就靠它了.pdf
- 辽宁省点石联考2026届高三上学期12月联考考后巩固卷历史A卷(含答案).pdf
- 吉林省点石联考2026届高三上学期12月联考考后巩固卷政治(含答案).pdf
- 安徽省2026届皖南八校高三第二次大联考历史(含答案).pdf
- 河南省新未来2025~2026学年高三年级12月质量检测政治(含答案).docx
- 吉林省点石联考2026届高三上学期12月联考考后巩固卷政治(含答案).docx
- 四川省凉山州2026届高中毕业班第一次诊断性考试政治(凉山州一诊)(含答案).docx
最近下载
- 季度查漏补种登记表.doc VIP
- GB50318-2017 城市排水工程规划规范.pdf VIP
- 2025至2030中国移动视频监控行业市场占有率及投资前景评估规划报告.docx VIP
- 汽车门锁及空调故障.pptx VIP
- 生态环境数据分级管理指南.pdf VIP
- 八省联考2026届高三年级12月检测训练(T8联考)化学试卷(含答案详解).pdf
- 2022春(六下)顺 - 填空题1.docx VIP
- T∕CACM 1319-2019 慢性阻塞性肺疾病中医诊疗指南.docx VIP
- GZ021 化工生产技术赛项(正式赛卷)仿真操作模块方案及评分6.doc VIP
- 金蝶云星空完整版.pdf VIP
原创力文档


文档评论(0)