- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第三篇 ;数理逻辑简介;关于逻辑的小故事;;本篇主要介绍:;;第六章;本章主要内容介绍:;6.1 命题与命题联结词;6.1.1命题与真值
定义6.1具有具体意义的又能判断它是真还是假的陈述句,称为命题 .
命题的定义中包含两层含义:
(1)命题必须是能判断真和假的陈述句。疑问句、祈使句 和感叹句等均不是命题。
(2)命题的真或假两种结果有且仅有一种出现。
**陈述句为真或为假的这种性质,称为命题的真值。;例6.1 判断下面的句子是否是命题:;;命题常元和命题变元;简单命题和复合命题 ;6.1.2 命题联结词 ;1.否定词“?”;1.否定词“?”;例6.3
P:“上海是一座美丽的城市。”
?P:
例6. 4
Q:“地球是圆的。”
?Q:
例6. 5
R:“每一种生物均是动物。”
? R:;例6.3
P:“上海是一座美丽的城市。”
?P:“上海不是一座美丽的城市。”
例6. 4
Q:“地球是圆的。”
?Q: “地球不是圆的。”
例6. 5
R:“每一种生物均是动物。”
? R:“有一些生物不是动物。”;例6. 5
R:“每一种生物均是动物。”
? R:“有一些生物不是动物。”
这里?R不能表示成“每一种生物都不是动物”,因为原命题R是一个假命题,真值为“0”,如果将?R表示成“每一种生物都不是动物”,则?Q也是假命题了,就不能构成是对R的否定了,也就不能成为R的否命题了。
注:对量化命题的否定,除对动词进行否定外,同时对量化词也要加以否定。
逻辑否定词“?”是一个一元运算,它的意义是“否定”被否定命题的全部,而不是否定部分。;否定的性质:
双重否定律 : ?( ? P) ? P;2.合取词 “∧” ;例6. 6
P:“王华的成绩很好。” Q:“王华的品德很好。”
则P∧Q:
例6. 7
P:“李平聪明。” Q:“李平用功。 ”
则P∧Q:
例6. 8
P:“你去了学校” Q:“我去了工厂”
则P∧Q:
例6. 9
P:“今天星期二” Q:“房间里有一台电视机 ”
则P∧Q:
例6. 10
P:“中国的首都在北京” Q:“3+3=6”
则P∧Q:;例6. 6
P:“王华的成绩很好。” Q:“王华的品德很好。”
则P∧Q:“王华的成绩很好并且品德很好。”
例6. 7
P:“李平聪明。” Q:“李平用功。 ”
则P∧Q:“李平既聪明又用功。”
例6. 8
P:“你去了学校” Q:表示命题“我去了工厂”
则P∧Q:“你去了学校且我去了工厂”
例6. 9
P:“今天星期二” Q:“房间里有一台电视机 ”
则P∧Q:“今天星期二与房间里有一台电视机。”
例6. 10
P:“中国的首都在北京” Q:“3+3=6”
则P∧Q:“中国的首都在北京与3+3=6”;3.析取词 “∨” ; 析取词“∨”表示的是一种“可兼或”,相当于日常用语中的“或者”,允许所有部分命题同时为真。
但是在日常生活中我们需要用另一种联结词“?”,读作“异或”、“排斥或”,表示二者不可兼或,只能取其中一种,即P?Q的真值为“1”当且仅当P与Q的真值相反。P?Q的真值表如表6.4所示。
表6.4 ;例:;例子:;;4.蕴涵词 “→”(条件);例6.13
P:“天气好” Q:“我去接你”
则P→Q:“如果天气好,那么我去接你”。当天气好时,我去接了你,这时P→Q真;我没去接你,则P→Q假。
当天气不好时,我无论去或不去接你均未食言,此时认
定P→Q为真是适当的。;例6.14
P:“小明来了。” Q:“2+2=4”
则 P→Q:“小明来了,则2+2=4。”
在例6.14中规定的蕴涵词称为实质蕴涵,因为它不要求P→Q中的P,Q有什么关系,只要P→Q为命题,P→Q就有意义。又例如“如果大象会飞,那么小狗会说话。”就是一个有意义的命题,并且据定义其真值为“真”
原创力文档


文档评论(0)