离散数学--数理逻辑--命题逻辑-(1).pptVIP

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多

第一章命题逻辑; (1)中国是一个开展中国家。

(2)人是由猴进化而来的。

(3)早上好!

(4)己所不欲,勿施于人!

(5)宇宙是大爆炸形成的。

(6)我正在说谎。

(7)这道题太难。;2、命题的真值

一个命题的真或假称为命题的真值,

简称值。

由于命题只有真假两个值,所以命题

逻辑也称二值逻辑。

;3、命题的分类与表示;命题常项和命题变项;4、联结词和复合命题;EX2:以下给出的命题都是复合命题。

① 期中考试,张三没有考及格。

② 期中考试,张三和李四都及格了。

③ 期中考试,张三和李四中有人考90分。

④ 如果张三能考90分,那么李四也能考90分。

⑤ 只要张三刻苦学习张三就能考90分。;1、否认联结词;1、否认联结词;2、合取联结词;联结词合取的概念与自然语言中的“与”,“并且”意义相似。

但并不完全相同。;EX5:求“今天下雪且今天下雨”的否认。

P:今天下雪。

Q:今天下雨。

;思考:将“小王和小李是夫妻俩,他们都很贪婪。”

符号化。;3、析取联结词;(2)排斥性析取

设P、Q为两个命题,复合命题“P或者Q”中恰有一个发生,称为P、Q的排斥性析取,记为P?Q。P?Q为真当且仅当P与Q的真值不相同。;日常语言中“或”有三种标准用法,

EX8: ①张三或者李四考了90分。

②第一节课上数学课或者上政治课。

③去教学楼需要6分钟或8分钟。;4、蕴含联结词;EX10:如果你今年离散数学考100分,那么就奖励你100元。

P:你今年离散数学考100分。

Q:奖励你100元。

P→Q:如果你今年离散数学考100分,那么就奖励你100元。

;因此复合命题

“如果p那么q”;

“假设p就q”;

“只要p就q”;

“p仅当q”;

“只有q才p”;

“除非q,才p”;,

“除非q,否那么非p”;

等都可以符号化为p?q的形式。;在使用p?q时注意:

〔1〕所表示的根本逻辑关系;

〔2〕在自然语言中“如果p,那么q”中的p与q一般都有某种内在的联系,但在数理逻辑中p?q中的p与q不一定有某种内在的联系;

〔3〕在数学中“如果p,那么q”表示前件p为真,后件q为真的推理关系,但在数理逻辑中当p为假时???p?q为真。

常出现的错误:不分充分与必要条件。;;5、等价联结词;注意;EX12:

铁和氧化合,但铁和氮不化合。

如果我下班早,就去商店看看,除非我很累。

李四是经管院的学生,他住在312室或313室。;铁和氧化合,但铁和氮不化合。

P:“铁和氧化合”

Q:“铁和氮化合”

那么可符号化为:P∧(?Q)

如果我下班早,就去商店看看,除非我很累。

P:“我很累”

Q:“我下班早”

R:“我去商店看看”

那么可符号化为:(?P)?(Q?R)

或者可以表示为:((?P)∧Q)?R);李四是经管院的学生,他住在312室或313室。

P:“李四是经管院的学生。”

Q:“李四住312室。”

R:“李四住313室。”

那么用符号表示:P?((Q?(?R))?((?Q)?R))

或者可以表示为:P?((Q?R)?(?(Q?R)));复合命题;小结

文档评论(0)

199****4744 + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

版权声明书
用户编号:7002121022000045

1亿VIP精品文档

相关文档