- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
离 散 数 学;教材与参考资料;课程主要内容;目的、意义和要求;学习要求;学习考查方法;第一篇 数理逻辑第1章 导 论;(1)定义;(2)方法;(3)内容;(4)分支;§1.2 数理逻辑的发展简史;起源阶段;创立阶段;完善阶段;§1.3 数理逻辑的地位和作用;第2章 命题逻辑;2.1 命题逻辑基本概念 ;§2.1.1 命题与联结词; 注意:(1) 感叹句、祈使句、疑问句都不是命题
(2)陈述句中的悖论以及判断结果不唯一确定的也不是命题;中国的首都在北京。
1+1=10
请开门!
x+y=1
明年10月1日是晴天。
本命题是假的。
李红既学英语又学日语。;(2)几个基本概念
真命题与假命题
命题变元与命题常元;例2;(1)简单命题与复合命题
(2)联结词的定义
(3)联结词的优先级;(1)简单命题与复合命题;(2)联结词的定义;合取词( ∧ );例3 将下列命题符号化. ;析取词(∨);相容或与排斥或;例4 将下列命题符号化,并指出其真值;蕴涵词( ?);蕴涵词的其它表述方式;例5 设p:天冷, q:小王穿羽绒服,将下列命题符号化 ;等价词( ? );例6 求下列复合命题的真值:;分析找出
简单命题;分析找出
简单命题;例8 试将下列命题符号化:
如果你不看电影,那么我也不看电影
小王一边吃饭,一边看书;(3)联结词的优先级;【例】分析下列各命题的真值
(1)2+2=4当且仅当3是奇数
(2) 2+2=4当且仅当3不是奇数
(3) 2+2≠4当且仅当3是奇数
(4) 2+2≠4当且仅当3不是奇数;课堂练习(2);§2.1.2 合式公式及其分类;1.命题语言的字母表;(1)合式公式(命题公式, 公式)的定义;(2)合式公式的层次;(3)公式的赋值;实例;3、真值表;否定词(┐):┐p为真当且仅当P的真值为假。;例:p: 李红学英语。
q: 李红学日语。
p∧q: 李红学英语并且学日语。;例:p: 李红学英语。
q: 李红学日语。
p∨q: 李红学英语或者学日语。;例:p: 天晴。
q: 我骑自行车上班。
p→q: 如果天晴,则我骑自行车上班。;等价词( ? ): p ? q为真当且仅当 p 和 q 的真值相同。;基本复合命题真值表汇总; p q ; p q ; p q r;4、命题公式的分类;此课件下载可自行编辑修改,供参考!
感谢您的支持,我们努力做得更好!
原创力文档


文档评论(0)