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