- 1、本文档共43页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
离散数学
东北农业大学
第 4 讲 等值演算
导 入
用真值表法判断两个公式是否等
值在命题变项较多时,工作量是
很大的。
导 入
一个有效的方法是等值演算。
等 值 演 算
由已知的等值式推演出另外
一些等值式的过程。
等 值 演 算
置换规则
设Φ(A)是含公式A的命题公式 , Φ(B)
是用公式B置换了Φ(A)中所有(或部分)
的A后得到的命题公式,则
若B A ,则Φ(B) Φ(A)。
等 值 演 算 的 用 途
例4.1 验证p(qr) (p∧q) r
右边 (p ∧ q) ∨ r (蕴涵等值式)
( p ∨ q) ∨ r (德摩根律)
p ∨ ( q ∨ r) (结合律)
p ∨ (q r) (蕴涵等值式)
p (q r) (蕴涵等值式)
等 值 演 算 的 用 途
例4.2 判断公式 (p q) ∧ p q的类型
原式 ((pq) ∧ p) ∨ q
((p ∨ q) ∧ p) ∨ q
(p ∨ q) ∨ p ∨ q
(p ∧ q) ∨ p ∨ q
(p ∨ p) ∧ ( q ∨ p) ∨ q
1 ∧ ( q ∨ p) ∨ q
( q ∨ p) ∨ q p ∨ ( q ∨ q)
p ∨ 1 1
所以为永真式。
等 值 演 算 的 用 途
文字断案问题
例4. 3
某勘探队有3名队员 ,有一天取得一块矿样 ,3人判断如下:
甲说:这不是铁,也不是铜。
乙说:这不是铁,是锡。
丙说:这不是锡,是铁。
经实验室鉴定发现 ,其中一人的两个判断全对 ,一人判对一
半 ,另一人全错。试根据以上情况 ,判断矿样的种类。
等 值 演 算 的 用 途
解: 设 p:矿样是铁。q:矿样是铜。r:矿样是锡。根据题设知有六种情况:
①甲正确,乙对一半,丙全错;
②甲正确,乙全错,丙对一半;
③甲对一半,乙正确,丙全错;
④甲对一半,乙全错,丙正确;
⑤甲全错,乙正确,丙对一半;
⑥甲全错,乙对一半,丙正确。
等 值 演 算 的 用 途
以上六种情况对应公式分别为:
①(p∧q)∧((p∧r)∨(p∧r)) ∧(p∧r) 0
② (p∧q)∧(p∧r)∧((p∧r)∨(p∧r)) 0
③((p∧q)∨(p∧q))∧(p∧r)∧(p∧r)p∧q∧r
④ ((p∧q)∨(p∧q))∧(p∧r)∧(p∧r)p∧q∧r
⑤ (p∧q)∧( p∧r)∧((p∧r)∨(p∧r)) 0
⑥ (p∧q)∧ ((p∧r) ∨(p∧r) ) ∧ (p∧r) 0
等 值 演 算 的 用 途
六种情况对应公式
①甲正确,乙对一半,丙全错; ①(p∧q) ∧((p∧r)∨(p∧r)) ∧(p∧r) 0
②甲正确,乙全错,丙对一半; ② (p∧q) ∧(p∧r)∧((p∧r) ∨(p∧ r)) 0
③甲对一半,乙正确,丙全错; ③((p∧q) ∨(p∧q)) ∧(p∧r) ∧(p∧r)p∧q ∧r
④甲对一半,乙全错,丙正确; ④ ((p∧q) ∨(p∧q)) ∧(p∧r)∧(p∧ r)p∧ q∧ r
⑤甲全错,乙正确,丙对一半;
您可能关注的文档
- 东北农业大学《高等数学》课件-第十课时.pdf
- 东北农业大学《高等数学》课件-第四课时.pdf
- 东北农业大学《高等数学》课件-第五课时.pdf
- 东北农业大学《高等数学》课件-第一课时.pdf
- 东北农业大学《计算机基础》课件-第八课(雷老师).pdf
- 东北农业大学《计算机基础》课件-第二课(雷老师).pdf
- 东北农业大学《计算机基础》课件-第九课(雷老师).pdf
- 东北农业大学《计算机基础》课件-第六课(雷老师).pdf
- 东北农业大学《计算机基础》课件-第七课(雷老师).pdf
- 东北农业大学《计算机基础》课件-第三课(雷老师).pdf
- 英语人教PEP版八年级(上册)Unit4+writing+写作.pptx
- 人美版美术四年级(上册)8 笔的世界 课件 (1).pptx
- 人美版美术七年级(上册)龙的制作.pptx
- 英语人教PEP版六年级(上册)Unit 2 第一课时.pptx
- 数学苏教版三年级(上册)3.3 长方形和正方形周长的计算 苏教版(共12张PPT).pptx
- 音乐人教版八年级(上册)青春舞曲 课件2.pptx
- 音乐人教版四年级(上册) 第一单元 音乐知识 附点四分音符|人教版.pptx
- 英语人教PEP版四年级(上册)Unit 6 Part B let's learn 1.pptx
- 道德与法治人教版二年级(上册)课件-3.11大家排好队部编版(共18张PPT).pptx
- 人美版美术七年级(上册)《黄山天下奇》课件1.pptx
文档评论(0)