第一讲命题集逻辑.docVIP

  1. 1、本文档共17页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第一章 命题逻辑 习题与解答 ⒈ 判断下列语句是否为命题,并讨论命题的真值。 ⑴ 。 ⑵ 前进! ⑶ 如果,则三角形有四条边。 ⑷ 请勿吸烟! ⑸ 你喜欢鲁迅的作品吗? ⑹ 如果太阳从西方升起,你就可以长生不老。 ⑺ 如果太阳从东方升起,你就可以长生不老。 解 ⑶,⑹,⑺表达命题,其中⑶,⑹表达真命题,⑺表达假命题。 ⒉ 将下列命题符号化: ⑴ 逻辑不是枯燥无味的。 ⑵ 我看见的既不是小张也不是老李。 ⑶ 他生于1963年或1964年。 ⑷ 只有不怕困难,才能战胜困难。 ⑸ 只要上街,我就去书店。 ⑹ 如果晚上做完了作业并且没有其它事情,小杨就看电视或听音乐。 ⑺ 如果林芳在家里,那么他不是在做作业就是在看电视。 ⑻ 三角形三条边相等是三个角相等的充分条件。 ⑼ 我进城的必要条件是我有时间。 ⑽ 他唱歌的充分必要条件是心情愉快。 ⑾ 小王总是在图书馆看书,除非他病了或者图书馆不开门。 解 ⑴ p:逻辑是枯燥无味的。 “逻辑不是枯燥无味的”符号化为。 ⑵ p:我看见的是小张。q:我看见的是老李。 “我看见的既不是小张也不是老李”符号化为。 ⑶ p:他生于1963年。q:他生于1964年。 “他生于1963年或1964年”符号化为。 ⑷ p:害怕困难。q:战胜困难。 “只有不怕困难,才能战胜困难”符号化为。 ⑸ p:我上街。q:我去书店。 “只要上街,我就去书店”符号化为。 ⑹ p:小杨晚上做完了作业。q:小杨晚上没有其它事情。 r:小杨晚上看电视。s:小杨晚上听音乐。 “如果晚上做完了作业并且没有其它事情,小杨就看电视或听音乐”符号化为。 ⑺ p:林芳在家里。q:林芳做作业。r:林芳看电视。 “如果林芳在家里,那么他不是在做作业就是在看电视”符号化为。 ⑻ p:三角形三条边相等。q:三角形三个角相等。 “三角形三条边相等是三个角相等的充分条件”符号化为。 ⑼ p:我进城。q:我有时间。 “我进城的必要条件是我有时间”符号化为。 ⑽ p:他唱歌。q:他心情愉快。 “他唱歌的充分必要条件是心情愉快” 符号化为。 ⑾ p:小王在图书馆看书。q:小王病了。r:图书馆开门。 “小王总是在图书馆看书,除非他病了或者图书馆不开门”符号化为。 ⒊ 列出除,,,,之外的所有二元联结词的真值表。 解 共有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 ⒋ 求下列公式在真值赋值下的值: ⑴ ⑵ ⑶ ⑷ ⑸ ⑹ ⑺ 解 记真值赋值为v。 ⑴ 。 ⑵ ⑶ 。 ⑷ 。 ⑸ 。 ⑹ 。 ⑺ 。 5. 用真值表判断以下公式是不是永真式、永假式、可满足式。 (1) (2) (3) (4) (5) (6) (7) 解 (1), (2), (4), (5), (7)是永真式,(6)是永假式,(3)是非永真的可满足式。 6. 指出满足下列公式的所有真值赋值。 (1) (2) (3) (4) 解 (1) ,,,, ,,。 (2) ,,,, 。 (3) ,。 (4) ,,,。 7. 若公式A既不是永真式,也不是永假式,则A的每个替换实例一定既不是永真式,也不是永假式。对吗? 解 不对。若A是非永真的可满足式,则它的替换实例中既有永真式,也有永假式,也有非永真的可满足式。 8.用真值表证明以下等值式。 (1) (2) (3) (4) 9.用等值演算证明以下等值式。 (1) (2) (3) (4) (5) (6) 解 (1) (2) (3) (4) (5) (6) 10.用等值演算证明以下公式是永真式。 (1) (2) (3) (4) 解 (1) (2) (3) (4) 11.用等值演算证明以下公式是永假式。 (1) (2) 解 (1) (2) 12.找出与下列公式等值的尽可能简单的由生成的公式。 13.找出与下列公式等值的尽可能简单的由生成的公式。 (1) (2) (3) 解 (1) (2) (3) 14.设A是由生成的公式。证明:A是永真式当且仅当每个命题变元在A中出现偶数次。 证明 首先证明:若A是由生成的仅出现一个命题变元p的公式,则 对p在A中的出现次数进行归纳。 ① 若p在A中出现1次,即A为p,显然。 ② 若p在A中出现2次,

您可能关注的文档

文档评论(0)

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

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

1亿VIP精品文档

相关文档