离散数学答案(尹宝林版).docVIP

  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文档。上传文档
查看更多
第一章 命题逻辑 习题与解答 ⒈ 判断下列语句是否为命题,并讨论命题的真值。 ⑴ 2x ? 3 = 0 。 ⑵ 前进! ⑶ 如果8 + 7 20 ,则三角形有四条边。 ⑷ 请勿吸烟! ⑸ 你喜欢鲁迅的作品吗? ⑹ 如果太阳从西方升起,你就可以长生不老。 ⑺ 如果太阳从东方升起,你就可以长生不老。 解 ⑶,⑹,⑺表达命题,其中⑶,⑹表达真命题,⑺表达假命题。 ⒉ 将下列命题符号化: ⑴ 逻辑不是枯燥无味的。 ⑵ 我看见的既不是小张也不是老李。 ⑶ 他生于 1963 年或 1964 年。 ⑷ 只有不怕困难,才能战胜困难。 ⑸ 只要上街,我就去书店。 ⑹ 如果晚上做完了作业并且没有其它事情,小杨就看电视或听音乐。 ⑺ 如果林芳在家里,那么他不是在做作业就是在看电视。 ⑻ 三角形三条边相等是三个角相等的充分条件。 ⑼ 我进城的必要条件是我有时间。 ⑽ 他唱歌的充分必要条件是心情愉快。 ⑾ 小王总是在图书馆看书,除非他病了或者图书馆不开门。 解 ⑴ p:逻辑是枯燥无味的。 “逻辑不是枯燥无味的”符号化为?p 。 ⑵ p:我看见的是小张。q:我看见的是老李。 “我看见的既不是小张也不是老李”符号化为?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 ∨ s 。 ⑺ p:林芳在家里。q:林芳做作业。r:林芳看电视。 “如果林芳在家里,那么他不是在做作业就是在看电视”符号化为 p → q ∨ r 。 ⑻ p:三角形三条边相等。q:三角形三个角相等。 “三角形三条边相等是三个角相等的充分条件”符号化为 p → q 。 ⑼ p:我进城。q:我有时间。 “我进城的必要条件是我有时间”符号化为 p → q 。 ⑽ p:他唱歌。q:他心情愉快。 “他唱歌的充分必要条件是心情愉快” 符号化为 p ? q 。 ⑾ p:小王在图书馆看书。q:小王病了。r:图书馆开门。 “小王总是在图书馆看书,除非他病了或者图书馆不开门”符号化为?(q ∨ ?r) → p。 ⒊ 列出除∧ ,∨ ,⊕ ,→,?之外的所有二元联结词的真值表。 离散数学习题解答 1 解 共有 16 个二元联结词,记除∧ ,∨ ,⊕ ,→,?之外的二元联结词为Δ1,Δ2,Κ ,Δ11 。 p q pΔ1q pΔ2q pΔ3q pΔ4q pΔ5q pΔ6q 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 pΔ7q pΔ8q pΔ9q pΔ10q pΔ11q 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)下的值: ⑴ p1 ∨ ( p2 ∧ p3) ⑵ (p1 ∧ p2 ∧ p3) ∨ ?((p1 ∨ p2) ∧ (p3 ∨ p4)) ⑶ ?(p1 ∧ p2 )∨ ?p3 ∨ (((?p1 ∧ p2 )∨ ?p3) ∧ ?p4 ) ⑷ ( p2 ? ?p1) → ?p3 ∨ p4 ⑸ (p1 ? p3) ∧ (?p2 → p4 ) ⑹ p1 ∨ ( p2 → p3 ∧ ?p1) ? p2 ∨ ?p4 ⑺ ( p1 ? p3) ∧ (?p2 ⊕ p4 ) 解 记真值赋值( p1 /1, p2 /1, p3 /0, p4 /0)为v。 ⑴ v( p1 ∨ ( p2 ∧ p3)) =1∨ (1∧ 0) =1。 ⑵ v((p1 ∧ p2 ∧ p3) ∨ ?((p1 ∨ p2 ) ∧ (p3 ∨ p4))) = (1∧1∧ 0) ∨ ?((1∨1) ∧ (0 ∨ 0)) = 1 ⑶ v(?( p1 ∧ p2 ) ∨ ?p3 ∨ (((?p1 ∧ p2 ) ∨ ?p3 ) ∧ ?p4 )) = ?(1∧1) ∨ ?0 ∨ (((?1∧1) ∨ ?0) ∧ ?0) =1。 ⑷ v((p2 ? ?p1) → ?p3 ∨ p4) = (1 ? ?1) → ?0 ∨ 0 =1。 ⑸ v((p1 ? p3) ∧ (?p2 → p4 )) = (1? 0) ∧ (?1→ 0) = 0。 ⑹ v(p1 ∨ (p2 → p3 ∧ ?p1) ? p2 ∨

文档评论(0)

xina171127 + 关注
实名认证
文档贡献者

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

1亿VIP精品文档

相关文档