离散数学第3版习题答案.docxVIP

  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文档。上传文档
查看更多
离散数学第 3 版习题答案 篇一:华东师范大学离散数学章炯民课后习题第 3 章 答案】 xt (1) 2 是正数吗? x2+x+1=0 。 我要上学。 明年 2 月 1 日下雨。 如果股票涨了,那么我就赚钱。 解: 不是 不是 不是 是 是 判断下列命题的真值: ( 1)若 1+1=3 ,则 2+2=4 (2)若鸟会飞,则 1+1=3 解: 1 0 将下列两个命题符号化,并分别用真值表和等值演算的方法证 明所得到的那两个命题公式是等值的。 你不会休息所以就不会工作,你没有丰富的知识所以你就不会 工作; 你会工作所以一定会休息并具有丰富的知识。 解: 设p :你会休息,q:你会工作,r:你有丰富的知识。原命题符号化为 (?p??q) ?(?r??q) q?(p?r) (1) 用等值演算的方法证明命题恒等式 p?(q?p)=?p?(p??q) 构造一个只含命题变量 p、q和r的命题公式a,满足:p、q 和r的任意一个赋值是a的成真赋值当且仅当p、q和r中恰有两个 为真。 解: (p?q??r)?( p??q?r)?(?p?q?r) 通过等值演算求 p?(p?(q?p)) 的主析取范式和主合取范式。 解: 主析取范式: (?p?q)?(?p??q)?(p??q)?(p?q ) 主合取范式不存在 一教师要从3名学生a、b和c中选派1?2人参加市级科技竞 赛,需满足以下条件: ( 1 )若 a 去,则 c 同去; 若 b 去,则 c 不能去; 若 c 不去,则 a 或 b 可以去。 问该如何选派? 解:为此问题建立数学模型。 有三个方案:仅 c 去,仅 b 去,仅 a 和 c 去 证明{?,?} 是功能完备集。 (1)证明 p?(q?s),q,p??r?r?s 。 证明: p??r 前提引入 r 附加前提引入 p ①②析取三段 p?(q?s) 前提引入 q?s ③④假言推理 q 前提引入 s ⑤⑥假言推理 19. 构造下列推理的形式证明: “今天下午没有出太阳并且今天比昨天冷。只有今天下午出太阳,我 们才去游泳。若我们不去游泳,则我们乘独木舟游览。若我们乘独 木舟游览,则我们在黄昏时回家。 所以,我们在黄昏时回家。 ” 解: 设 p: 今天下午出太阳 ,q: 今天比昨天冷 ,r: 我们去游泳 m: 我们乘独 木舟游览 , n: 我们在黄昏时回家 命题符号化为: 前提: ?p?q,r?p, ?r?m,m?n 结论: n 证明: ?p?q 前提引入 ?p ①化简 r?p 前提引入 ?r ②③拒取式 ?r?m 前提引入 m ④⑤假言推理 m?n 前提引入 n ⑥⑦假言推理 补充: 1. 将当当网的图书高级搜索符号化: 解:p:书名q:著译者r:isbn s:折扣t:定价u:当当价v:出版时间w: 出版时间 符号化为: p?q?r?s?t?u?v?w 2. 请将语句 “除非你已满 16 周岁,否则只要你身高不足 1.2 米就不 能乘公园的滑行铁道 ”。 解: 设p:你已满16岁,q:你身高足1.2米,r:你能乘公园的滑行铁道 命题符号化为: (?p??q)??r p 、 q 、 r 为如下命题: p :你得流感了 q :你错过了最后的考试 r :这门课你通过了 请用自然语言表达命题 (p??r)?(q??r) 。 解: (1 )如果你得流感了,你就不能通过这门课;或者你错过了最后的 考试,你也不能通过这门课。 (2) 如果你得流感了并且错过了最后的考试,那么你就不能通过这门课。 【篇二:屈婉玲版离散数学课后习题答案【 3】】 xt3. 在一阶逻辑中将下面将下面命题符号化 ,并分别讨论个体域限制 为(a),(b)条件时命题的真值: ⑴ 对于任意x,均有错误!未找到引用源。2=(x+错误!未找到引用 源。)(x错误!未找到引用源。).⑵ 存在x,使得x+5=9.其中(a)个体 域为自然数集合 . (b) 个体域为实数集合 . 解: f(x):错误!未找到引用源。2=(x+错误!未找到引用源。)(x错误! 未找到引用源。 ). g(x): x+5=9. 在两个个体域中都解释为 ?xf (x),在(a)中为假命题,在(b)中为真命题。 在两个个体域中都解释为?xg(x),在(a) (b)中均为真命题。 在一阶逻辑中将下列命题符号化 : (1) 没有不能表示成分数的有理 数. (2) 在北京卖菜的人不全是外地人 . 解: (1)f(x): x 能表示成分数 h(x): x 是有理数 命题符号化为 : ??x(?f(x)?(2)f(x): x 是北京卖菜的人 h(x): x 是外地 人 命题符号化为 : ??x(f(x) ?h(x)) h(x)) 在一阶逻辑将下列命题符号化 : (1) 火车都比轮船快 . 不存在比所有火车都快的汽车 .解: f(x): x

文档评论(0)

107****0911 + 关注
实名认证
文档贡献者

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

1亿VIP精品文档

相关文档