网站大量收购独家精品文档,联系QQ:2885784924

离散数学答案(尹宝林版)第一章习题解答.doc

离散数学答案(尹宝林版)第一章习题解答.doc

  1. 1、本文档共17页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第一章 命题逻辑 习题与解答 ⒈ 判断下列语句是否为命题,并讨论命题的真值。 ⑴ 2x ? 3 = 0。 ⑵ 前进! ⑶ 如果8 + 7 20,则三角形有四条边。 ⑷ 请勿吸烟! ⑸ 你喜欢鲁迅的作品吗? ⑹ 如果太阳从西方升起,你就可以长生不老。 ⑺ 如果太阳从东方升起,你就可以长生不老。 解 ⑶,⑹,⑺表达命题,其中⑶,⑹表达真命题,⑺表达假命题。 ⒉ 将下列命题符号化: ⑴ 逻辑不是枯燥无味的。 ⑵ 我看见的既不是小张也不是老李。 ⑶ 他生于1963年或1964年。 ⑷ 只有不怕困难,才能战胜困难。 ⑸ 只要上街,我就去书店。 ⑹ 如果晚上做完了作业并且没有其它事情,小杨就看电视或听音乐。 ⑺ 如果林芳在家里,那么他不是在做作业就是在看电视。 ⑻ 三角形三条边相等是三个角相等的充分条件。 ⑼ 我进城的必要条件是我有时间。 ⑽ 他唱歌的充分必要条件是心情愉快。 ⑾ 小王总是在图书馆看书,除非他病了或者图书馆不开门。 解 ⑴ p:逻辑是枯燥无味的。 “逻辑不是枯燥无味的”符号化为 ?p。 ⑵ p:我看见的是小张。q:我看见的是老李。 “我看见的既不是小张也不是老李”符号化为。 ⑶ p:他生于1963年。q:他生于1964年。 “他生于1963年或1964年”符号化为p ? q。 ⑷ p:害怕困难。q:战胜困难。 “只有不怕困难,才能战胜困难”符号化为q ? ? p。 ⑸ p:我上街。q:我去书店。 “只要上街,我就去书店”符号化为p ? q。 ⑹ p:小杨晚上做完了作业。q:小杨晚上没有其它事情。 r:小杨晚上看电视。s:小杨晚上听音乐。 “如果晚上做完了作业并且没有其它事情,小杨就看电视或听音乐”符号化为。 ⑺ p:林芳在家里。q:林芳做作业。r:林芳看电视。 “如果林芳在家里,那么他不是在做作业就是在看电视”符号化为。 ⑻ p:三角形三条边相等。q:三角形三个角相等。 “三角形三条边相等是三个角相等的充分条件”符号化为。 ⑼ p:我进城。q:我有时间。 “我进城的必要条件是我有时间”符号化为p ? q。 ⑽ p:他唱歌。q:他心情愉快。 “他唱歌的充分必要条件是心情愉快” 符号化为。 ⑾ p:小王在图书馆看书。q:小王病了。r:图书馆开门。 “小王总是在图书馆看书,除非他病了或者图书馆不开门”符号化为?(q ? ?r) ? p,或者 (?q ? r) ? p。也可符号化为 ?(q ? ?r) ? p,或者 (q ? ?r) ? p。 ⒊ 列出除,,,,之外的所有二元联结词的真值表。 解 共有16个二元联结词,记除,,,,之外的二元联结词为。 p q 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 0 1 1 0 0 1 0 1 0 p q 0 0 1 1 1 1 1 0 1 0 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 0 0 1 ⒋ 求下列公式在真值赋值( p1 / 1, p2 / 1, p3 / 0, p4 / 0)下的值: ⑴ ⑵ ⑶ (4) (p2 ? ?p1) ? (?p3 ? p4) ⑸ ⑹ (7) (p1 ? p3) ? (?p2 ? p4) 解 记真值赋值( p1 / 1, p2 / 1, p3 / 0, p4 / 0)为v。 ⑴ 。 ⑵ ⑶ 。 (4) v ((p2 ? ? p1) ? (? p3 ? p4)) = (1 ? ?1) ? ( ?0 ? 0) = 0 ? 1 = 1。 ⑸ 。 ⑹ 。 (7) v ((p1 ? p3) ? (?p2 ? p4)) = (1 ? 0) ? (?1 ? 0) = 0 ? 0 = 0。 5. 用真值表判断以下公式是不是永真式、永假式、可满足式。 (1) (p ? r) ? ((q ? r) ? (p ? q ? r)) (2) (3) (p ? q) ? ((p ? ?q) ? p) (4) (5) (6) ?p ? ?(p ? q) (7) 解 (1) 将 (p ? r) ? ((q ? r) ? (p ? q ? r)) 记为A。 p q r p ? r q ? r p ? q p ? q ? r (q ? r) ? (p ? q ? r) A 0 0 0 1 1 0 1 1 1 0 0 1 1 1 0 1 1 1 0 1 0 1 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 0 0 1 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 (p ? r) ? ((q ? r) ? (p ? q ? r)) 是永真式。 (3) 将 (p ? q

文档评论(0)

cjp823 + 关注
实名认证
内容提供者

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

版权声明书
用户编号:7060131150000004

1亿VIP精品文档

相关文档