- 1、本文档共17页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 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次,
您可能关注的文档
- “传播力”让媒体心脏跳动更加有力.doc
- 南京理工大学2017年度电子工程与光电技术学院硕士研究生专业目录.pdf
- 保险企业乘OA系统之风,重塑内部管理.pdf
- 2009第三届我国百佳产业集群揭晓.doc
- 动物生物基因工程前景广阔.ppt
- 物流营销技能(网点实战课)上(陈军).中华讲师网.ppt
- 国产显微镜与进口显微镜.ppt
- 烘焙入门必看白色恋人.pdf
- 初中八年级历史社会历史小调查.ppt
- 科普笔记本键盘知识普及.pdf
- 2025年综合类-内分泌主治医师-职业病主治医师-常见症状与体征历年真题摘选带答案(5卷-选择题).docx
- 2025年执业医师考试-中医执业医师实践技能历年参考题库含答案解析(5卷100题).docx
- 2025年住院医师规范培训(各省)-上海住院医师神经内科历年参考题库含答案解析(5卷100题).docx
- 2025年公路交通运输技能考试-汽车装调工考试历年参考题库含答案解析(5套共100道单选合辑).docx
- 2025年操作工技能考核考试-司磅工考试历年参考题库含答案解析(5套共100道单选合辑).docx
- 2025年经济类-中级经济师-中级经济师(金融)历年真题摘选带答案(5卷单选题100题).docx
- 2025年综合类-临床医学检验技术(师)-微生物学和微生物学检验历年真题摘选带答案(5卷单选题100.docx
- 2025年综合类-甘肃住院医师普通外科Ⅱ阶段-甘肃住院医师感染科Ⅱ阶段-甘肃住院医师感染科(综合练习.docx
- 2025年兽医考试-畜牧、兽医科学历年参考题库含答案解析(5套100道单选题合辑).docx
- 2025年综合类-山东住院医师口腔颌面外科Ⅱ阶段-实践技能历年真题摘选带答案(5卷100题).docx
文档评论(0)