- 1、本文档共679页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第一篇 数理逻辑;第一章 命题逻辑;§1 命题与命题联结词;(3)命题分类:
ⅰ)原子命题:一个命题,不能分解成为更简单的命题。
例:我是一位学生。
ⅱ) 复合命题:若干个原子命题使用适当的联结词所组成的新命题。
例:我是一位老师和他是一位学生
(4)命题的表示:常用26个大写的英文字母表示命题。
;注意:
(1) 命令句,感叹句,疑问句都不是命题。如:
1)把门关上!
2)你到哪里去?
(2) 语句既为真,同时又包含假的不是命题,这样的句子称为“悖论”。
如:我正在??谎。
在命题逻辑中不讨论悖论问题。;例:判断下列语句是否为命题,若是,请给出其真值。
(1)十是整数。
(2)上海是一个城市。
(3)加拿大是一个国家。
(4)2是偶数而3不是奇数。
(5)请勿闯红灯!
(6)你今天出差吗?
(7)x-y=6
;下面先介绍五个常用的命题联结词。
(1)否定词:(否定运算、非运算)
1)符号 ? ,读作“非”,“否定”
设命题为P,则?P读做“P的否定”或“非P”
2)否定运算真值表
; 3)举例:
P: 北京是一座城市。
?P:北京不是一座城市。
Q: 每一种生物是动物。
?Q:有一些生物不是动物。
这里?Q不能讲成“每一种生物都不是动物” 。
;(2) 合取词(“合取”、 “与”运算)
1) 符号 “Λ”
设P,Q为两个命题,则PΛQ称P与Q的合取,读作:
“P与Q”
“P与Q的合取”
“P并且Q” ;P;3)举例:
① P:王华的成绩很好
Q:王华的品德很好。
则PΛQ:王华的成绩很好并且品德很好。
② P:我们去种树
Q:房间里有一台电视机
则PΛQ:我们去种树与房间里有一台电视机。;③ P:今天下大雨 Q:3+3=6
则PΛQ:今天下大雨和3+3=6
注:在日常生活中,合取词应用在二个有关系的命题之间。由例② ,③ 可知,在逻辑学中,合取词可以用在二个毫不相干的命题之间。;
(3)析取词(或运算)
1)符号“∨”
设P、Q为二个命题,则(P∨Q)称作P与Q的“析取”,读作:“P或Q”。;2)析取运算真值表:;3)区分“可兼或”与“不可兼或(异或,排斥或)”
析取联结词为可兼或
例如:
灯泡有故障或开关有故障。
今天下雨或打雷。
以上例句均为可兼或。;“不可兼或”表示为:▽ (异或),当P和Q均为“T”时,则P异或Q为“F”。
;(4) 单条件联结词:(“蕴含”联结词、蕴含词)
1) 符号“→”
设P、Q为二个命题,则P→Q 读作:“如果P则Q”,“P蕴含Q”,“P仅当Q”,“Q当且P”,
“P是Q的充分条件”
P:称为前件、条件、前提、假设
Q:称为后件、结论
; 2) 蕴含运算真值表
;3) 举例:
① P:我拿起一本书
Q:我一口气读完了这本书
P→Q:如果我拿起一本书,则我一口气读完了这本书。
② P:月亮出来了
Q:3×3=9
P→Q:如果月亮出来了,则3×3=9。;(5) 双条件联结词(“等价”词)
1)符号“?”
设P、Q为二个命题,则P?Q读作:
P当且仅当Q
P等价Q
P是Q的充分必要条件
;注: ①每当P和Q的真值相同时,(P?Q)的真值为“T”,否则(P?Q)的真值为“F”。
②P、Q的地位是平等的,P、Q交 换位置不会改变P?Q的值。
; 3)举例:
① P:△ABC是等腰三角形
Q:△ABC有两只角相等
P?Q:△ABC是等腰三角形当且仅当△ABC中有两只角相等。
;③ P:平面上两直线平行
Q: 二直线不相交
P?Q:平面上二直线平行,当且仅当这二直线不相交。
;
4) 单条件联结词与双条件联结词的表达
P当且仅当Q P?Q
P仅当Q P→Q
P当且Q Q→P
;3.命题联结词的运算要求
(1)先括号内,后括号外
(2)运算时联结词的优先次序由高到低排序为:
? Λ ∨ → ?
(3)含有相同 联结词的命题公式,如果联结词满足结合律,则可省去括号,否则不可省去括号。
例:?P∨(Q∨R)可省去括号
而P→(Q→R)中的括号不能省去,因为“→”不满足
文档评论(0)