- 1、本文档共33页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第一章 命题逻辑基本的 概念 离散数学及其应用课件.ppt
离散数学
及其应用
1
2
主要内容
命题逻辑基本概念
命题逻辑等值演算
命题逻辑的推理理论
一阶逻辑基本概念
一阶逻辑等值演算
第一部分 数理逻辑
3
第一章 命题逻辑基本概念
主要内容
命题与联结词
命题及其分类
联结词与复合命题
命题公式及其赋值
4
命题与真值
命题:判断结果惟一的陈述句
命题的真值:判断的结果
真值的取值:真与假
真命题与假命题
注意:
感叹句、祈使句、疑问句都不是命题
陈述句中的悖论,判断结果不惟一确定的不是命题
1.1 命题与联结词
5
假命题
命题概念
真命题
不是命题
不是命题
不是命题
不是命题
命题,但真值现在不知道
8
例2 将下列命题符号化.
(1) 吴颖既用功又聪明.
(2) 吴颖不仅用功而且聪明.
(3) 吴颖虽然聪明,但不用功.
(4) 张辉与王丽都是三好生.
(5) 张辉与王丽是同学.
合取联结词的实例
9
解 令p:吴颖用功, q:吴颖聪明
(1) pq
(2) pq
(3) pq
(4) 设p:张辉是三好生, q:王丽是三好生
pq
(5) p:张辉与王丽是同学
(1)—(3) 说明描述合取式的灵活性与多样性
(4)—(5) 要求分清 “与” 所联结的成分
合取联结词的实例
10
例3 将下列命题符号化
(1) 2 或 4 是素数.
(2) 2 或 3 是素数.
(3) 4 或 6 是素数.
(4) 小元元只能拿一个苹果或一个梨.
(5) 王小红生于 1975 年或 1976 年.
析取联结词
定义1.3 设p, q为两个命题,复合命题“p或q”称作p与q的析取式,记作p∨q,∨称作析取联结词. 规定p∨q为假当且仅当p与q同时为假.
11
解
(1) 令p:2是素数, q:4是素数, pq
(2) 令p:2是素数, q:3是素数, pq
(3) 令p:4是素数, q:6是素数, pq
(4) 令p:小元元拿一个苹果, q:小元元拿一个梨
(pq)(pq)
(5) p:王小红生于 1975 年, q:王小红生于1976 年,
(pq)(pq) 或 pq
(1)—(3) 为相容或
(4)—(5) 为排斥或, 符号化时(5)可有两种形式,而(4)则不能
析取联结词的实例
12
定义1.4 设p, q为两个命题,复合命题“如果p, 则q”称作p与q的蕴涵式,记作pq,并称p是蕴涵式的前件,q为蕴涵式的后件,称作蕴涵联结词. 规定:pq为假当且仅当p为真q为假.
蕴涵联结词
(1) pq 的逻辑关系:q为 p 的必要条件, p是q的充分条件.
(2) “如果 p, 则 q” 有很多不同的表述方法:
若p,就q
只要p,就q
p仅当q
只有q 才p
除非q, 才p 或 除非q,否则非p,….
(3) 当 p 为假时,pq恒为真,称为空证明
(4) 常出现的错误:分不清充分条件与必要条件
13
例4 设 p:天冷,q:小王穿羽绒服,将下列命题符号化
(1) 只要天冷,小王就穿羽绒服.
(2) 因为天冷,所以小王穿羽绒服.
(3) 若小王不穿羽绒服,则天不冷.
(4) 只有天冷,小王才穿羽绒服.
(5) 除非天冷,小王才穿羽绒服.
(6) 除非小王穿羽绒服,否则天不冷.
(7) 如果天不冷,则小王不穿羽绒服.
(8) 小王穿羽绒服仅当天冷的时候.
蕴涵联结词的实例
pq
注意: p q 与 qp 等值(真值相同)
pq
pq
qp
qp
pq
pq
qp
14
定义1.5 设 p, q为两个命题,复合命题“p当且仅当q”称作p与q的等价式,记作pq,称作等价联结词. 规定pq为真当且仅当p与q同时为真或同时为假.
pq 的逻辑关系:p与q互为充分必要条件
等价联结词
例5 求下列复合命题的真值
(1) 2 + 2 = 4 当且仅当 3 + 3 = 6.
(2) 2 + 2 = 4 当且仅当 3 是偶数.
(3) 2 + 2 = 4 当且仅当 太阳从东方升起.
(4) 2 + 2 = 4 当且仅当 美国位于非洲.
(5) 函数 f (x) 在 x0 可导的充要条件是 它在 x0 连续.
1
0
0
1
0
15
本小节中p, q, r, … 均表示命题.
小 结
联结词的运算顺序:, , , , , 同级从左到右顺序进行. ( )最先, 按从内到外顺序进行.
16
1.2 命题公式及其赋值
命题变项与合式公式
命题变项
合式公式
合式公式的
文档评论(0)