- 1、本文档共9页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第一章-命题逻辑4
数理逻辑马殿富北航计算机学院dfma@buaa.edu.cn2012-9第4节 对偶定理 1.4 对偶定理定义1.10对偶式 设A是由{0,1,?,∨,∧}生成的公式,将A中的∨和∧互换,0和1互换得到A*,称A*与A互为对偶式。A = (p∨q)∧r B = ?(p∨0) ∧1A* = (p∧q)∨r B* = ?(p∧1)∨0定义1.11 相反真值赋值 如果真值赋值v1和v2满足对每个命题变元p, ,则称v1和v2是相反的。v1 = p0, q1, t0v2 = p1, q0, t1例(p∨?q∨0)∧r∧1 v(p)=1,v(q)=0,v(r)=1(p∧?q∧1)∨r∨0 v(p)=0,v(q)=1,v(r)=0v((p∨?q∨0)∧r∧1) =(v(p)∨?v(q)∨v(0))∧v(r)∧v(1) =(1∨?0∨0)∧1∧1=1v((p∧?q∧1)∨r∨0 ) = (v(p)∧? v( q)∧v(1))∨v(r)∨v(0) = (0∧?1∧1)∨0∨0=0= ?1对偶式的真值赋值定理1.14:设A是由{0,1,?,∨,∧}生成的公式,A*与A互为对偶式,v和v是相反的真值赋值,则v(A*)=?v(A)。证明:归纳证明若A的长度为1若A为命题变元p,则A*也为p,v(p)=?v(p)若A为0,则A*为1,v(1)=?v(0)。若A为1,则A*为0,v(0)=?v(1)。假设对于长度不超过n的每个公式B,v(B*)=?v(B)。证明长度等于n,定理成立。若A为?B,v(B*)=?v (B),并且A*为?B*,有: v(A*)=v(?B*)=?v(B*)=??v(B)=?v(?B)= ?v(A)若A为B∧C,v(B*)=?v (B)且v(C*)=?v (C),并且A*为B*∨C*。因此有: v(A*)=v(B*∨C*)=v(B*)∨v(C*) =?v(B)∨?v(C)= v(?B∨?C)=v(?(B∧C)) = ?v(B∧C) = ?v(A)若A为B∨C,v(B*)=?v‘(B)且v(C*)=?v’(C), 并且A*为B*∧C*。因此有: v(A*)=v(B*∧C*)=v(B*)∧v(C*) =?v(B)∧?v(C) = v(?B∧?C) = v(?(B∨C)) = ?v(B∨C)= ?v(A)证毕。 对偶定理定理1.5 (对偶定理):设A, B是由{0, 1, ?, ∨, ∧}生成的公式,A*与A互为对偶式,B*与B互为对偶式。如果A ? B,则A* ? B*。证明:任取真值赋值v,令v是与v相反的真值赋值,因为A?B,所以v(A)=v(B),因此,v(A*)=?v(A)= ?v(B)=v(B*)所以,A* ? B*。证毕借助对偶定理的证明例1.9 证明等值式: (1) (p?q)?(?p?(?p ?q)) ? ?p ?q (2) (p?q) ?(?p?(?p ? q)) ? ?p ? q证明:等值式(1)(p?q)?(?p?(?p ?q)) ? (p?q)?(?p??p ?q) ? (p?q)??p?q ? ?p?q证明:等值式(2)对偶定理 等值式证明方法真值表等值演算对偶定理
您可能关注的文档
- 第一章 集合与函数概念教案典型例题.doc
- 携手共创和平.ppt
- 携手转型、赢在大堂.ppt
- 搭配-简单的排列组合.ppt
- 第一章 货币与货币制度.ppt
- 第一章 集合与常用逻辑函数(文数).ppt
- 揭阳市技工学校2007-2008学年第一学期机电班车工基本技术(修订版)课件.ppt
- 携手抗艾重在预防.ppt
- 摄像机标定张正友.ppt
- 第一章 集合与常用逻辑用语.doc
- 基于人工智能教育平台的移动应用开发,探讨跨平台兼容性影响因素及优化策略教学研究课题报告.docx
- 高中生物实验:城市热岛效应对城市生态系统服务功能的影响机制教学研究课题报告.docx
- 信息技术行业信息安全法律法规研究及政策建议教学研究课题报告.docx
- 人工智能视角下区域教育评价改革:利益相关者互动与政策支持研究教学研究课题报告.docx
- 6 《垃圾填埋场渗滤液处理与土地资源化利用研究》教学研究课题报告.docx
- 小学音乐与美术教师跨学科协作模式构建:人工智能技术助力教学创新教学研究课题报告.docx
- 《航空航天3D打印技术对航空器装配工艺的创新与效率提升》教学研究课题报告.docx
- 教育扶贫精准化策略研究:人工智能技术在区域教育中的应用与创新教学研究课题报告.docx
- 《区块链技术在电子政务电子档案管理中的数据完整性保障与优化》教学研究课题报告.docx
- 《中医护理情志疗法对癌症患者心理状态和生活质量提升的长期追踪研究》教学研究课题报告.docx
文档评论(0)