- 1、本文档共18页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
离散数学(1.6其他联接词)
* * 离散数学(Discrete Mathematics) * 第一章 命题逻辑(Propositional Logic) 1.6其它联结词(Other Connectives) 1.6.1 不可兼析取(排斥或/异或)(exclusive or) 1.6.2 与非联结词(Nand) 1.6.3 或非联结词(Nor) 1.6.4 条件否定联结词(Non-conditional) 1.6.5 最小联结词组(The minimal set of connectives) * 第一章 命题逻辑(Propositional Logic) 1.6其它联结词(Other Connectives) 在第二节(1.2)中我们定义了五种基本的联结词┐,?, ?,→ ,?,但在命题逻辑中,这些联结词还不能很广泛 地直接表达命题之间的联系(例如, “P异或Q”只能间接地 表示为(P?┐Q)?(┐P?Q)),为此本节再给出逻辑设计中 常用的另外四种联结词. 1.6.1 不可兼析取(排斥或/异或)(exclusive or) 定义1.6.1:设P,Q为二命题,复合命题“P,Q之中恰有一个为真” 称为P与Q的不可兼析取,记作P Q,符号“ ” 称为异或联结词. P Q 为真当且仅当P和Q的真值不同. * 第一章 命题逻辑(Propositional Logic) 1.6其它联结词(Other Connectives) 联结词“ ”的定义真值表 P Q P Q F F F T T T T F T T T F 定义了联结词“ ”后, 命题逻辑中的有些命题就可以符号化为非常简捷的形式. 例: 派小王或小李中的一人去开会。(排斥或) 设P:派小王去开会。Q:派小李去开会。 则上述命题可符号化为:(P Q) * 第一章 命题逻辑(Propositional Logic) 1.6其它联结词(Other Connectives) 说明:“ ” 属于二元(binary)运算符. 联结词“ ”的性质: 设P, Q, R为命题公式, 则有 (1) P Q ? Q P (交换律) (2) (P Q) R ? P (Q R) (结合律) (3) P∧(Q R) ? (P∧Q ) (P∧R) (分配律) (4) (P Q) ? (P∧? Q) ∨(? P∧Q) (5) (P Q) ? ? (P?Q) (6) P P ? F, F P ? P, T P ? ? P * 第一章 命题逻辑(Propositional Logic) 1.6其它联结词(Other Connectives) 定理1.6.1:设P, Q, R为命题公式, 如果 P Q?R,则 P R?Q ,Q R?P, 且P Q R 为一矛盾式. 证: 由 P Q?R 得 P R?P (P Q)?(P P) Q?F Q?Q Q R?Q (P Q)?F P?P P Q R?R R?F * 第一章 命题逻辑(Propositional Logic) 1.6其它联结词(Other Connectives) 1.6.2 与非联结词(Nand ↑) 定义1.6.2 设P,Q为二命题,复合命题“P与Q的否定” 称为P与Q的与非式,记作P↑Q,符号“↑” 称为与非联结词. P↑Q 为真当且仅当P和Q不同时为真. 联结词“↑”的定义真值表 P Q P↑Q F F T F T T T F T T T F * 第一章 命题逻辑(Propositional Logic) 1.6其它联结词(Other Connectives) 说明: (1) 由定义可知, P↑Q ?? (P∧Q) (2)“↑” 属于二元(binary)运算符. 联结词“↑”的性质: (1) P↑P ?? ( P∧P) ?? P (2) (P↑Q)↑(P↑Q) ?? ( P↑Q)?(P∧Q) (3)(P↑P)↑(Q↑Q)?? P↑? Q??(?P∧?Q)? P∨Q * 第一章 命题逻辑(Propositional Logic) 1.6其它联结词(Other Connectives) 1.6.3 或非联结词(Nor) 定义1.6.3 设P,Q为二命题,复合命题“P或Q的否定” 称为P与Q的或非式,记作P↓Q ,符号“↓”称为或非联结词.
您可能关注的文档
- 睫状体解离、脱离?.ppt
- 眩晕医学专业化与规范化思考 86 修改后.ppt
- 知行合一 行胜于言 提高执行力.ppt
- 矢量分析简.ppt
- 知识 3 汽车发动机节能技术.ppt
- 知识导学(第一节化学反应与能量的变化).doc
- 知识树第二章物质性质的初步认识.ppt
- 知识点:3-2 交通灯控制器的设计过程.pptx
- 眼科,临床知识,眼与全身病.ppt
- 知识随文教.ppt
- 中国行业标准 DB/T 100-2024区域性地震安全性评价.pdf
- 《GM/T 0138-2024C-V2X车联网证书策略与认证业务声明框架》.pdf
- GM/T 0138-2024C-V2X车联网证书策略与认证业务声明框架.pdf
- DB/T 100-2024区域性地震安全性评价.pdf
- 中国行业标准 GM/T 0138-2024C-V2X车联网证书策略与认证业务声明框架.pdf
- 校园周边书店阅读氛围对初中生阅读素养提升的影响研究教学研究课题报告.docx
- 初中校园餐饮卫生监管与食品安全教育创新模式研究教学研究课题报告.docx
- 《文化遗产保护与旅游开发平衡机制的法律法规完善研究》教学研究课题报告.docx
- 《农作物病虫害生物防治技术的经济效益与社会影响分析》教学研究课题报告.docx
- 1 剖宫产术后子宫瘢痕憩室治疗中的并发症预防与护理措施教学研究课题报告.docx
最近下载
- 药事管理学药品注册管理课件.ppt VIP
- 《肩袖损伤与肩周炎》课件.ppt VIP
- 2024年重庆市巴蜀中学初升高自主招生语文试卷真题(含答案).docx VIP
- 中介新房培训课件内容.ppt VIP
- 2024年重庆渝中区重庆市巴蜀中学自主招生数学试卷(初升高保送)(详解版).pdf VIP
- 2025年西藏自治区公务员录用考试面试真题试卷(结构化小组)题型分析.docx VIP
- 药品注册管理课件.ppt VIP
- 击剑基础理论知识单选题100道及答案解析.docx VIP
- 《未成年人保护法》课件ppt.pptx VIP
- (高清版)B-T 19363.1-2022 翻译服务 第1部分:笔译服务要求.pdf VIP
文档评论(0)