- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 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)