离散数学第3版习题答案【篇一:华东师范大学离散数学章炯民课后习题第3章答案】xt>(1)2是正数吗?(2)x2+x+1=0。(3)我要上学。(4)明年2月1日下雨。(5)如果股票涨了,那么我就赚钱。解:(1)不是(2)不是(3)不是(4)是(5)是2.判断下列命题的真值:(1)若1+1=3,则2+2=4(2)若鸟会飞,则1+1=3解:(1)1(2)011.将下列两个命题符号化,并分别用真值表和等值演算的方法证明所得到的那两个命题公式是等值的。(1)你不会休息所以就不会工作,你没有丰富的知识所以你就不会工作;(2)你会工作所以一定会休息并具有丰富的知识。解:设p:你会休息,q:你会工作,r:你有丰富的知识。原命题符号化为(1)(?p??q)?(?r??q)(2)q?(p?r)12.(1)用等值演算的方法证明命题恒等式p?(q?p)=?p?(p??q)。13.构造一个只含命题变量p、q和r的命题公式a,满足:p、q和r的任意一个赋值是a的成真赋值当且仅当p、q和r中恰有两个为真。解:(p?q??r)?(p??q?r)?(?p?q?r)14.通过等值演算求p?(p?(q?p))的主析取范式和主合取范式。解:主析取范式:(?p?q)?(?p??q)?(p??q)?(p?q)主合取范式不存在15.一教师要从3名学生a、b和c中选派1~2人参加市级科技竞赛,需满足以下条件:(1)若a去,则c同去;(2)若b去,则c不能去;(3)若c不去,则a或b可以去。问该如何选派?解:为此问题建立数学模型。有三个方案:仅c去,仅b去,仅a和c去16.证明{?,?}是功能完备集。17.(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:isbns:折扣t:定价u:当当价v:出版时间w:出版时间符号化为:p?q?r?s?t?u?v?w2.请将语句“除非你已满16周岁,否则只要你身高不足1.2米就不能乘公园的滑行铁道”。解:设p:你已满16岁,q:你身高足1.2米,r:你能乘公园的滑行铁道命题符号化为:(?p??q)??r3.p、q、r为如下命题:p:你得流感了q:你错过了最后的考试r:这门课你通过了请用自然语言表达命题(p??r)?(q??r)。解:(1)如果你得流感了,你就不能通过这门课;或者你错过了最后的考试,你也不能通过这门课。(2)如果你得流感了并且错过了最后的考试,那么你就不能通过这门课。【篇二:屈婉玲版离散数学课后习题答案【3】】xt>3.在一阶逻辑中将下面将下面命题符号化,并分别讨论个体域限制为(a),(b)条件时命题的真值:(1)对于任意x,均有错误!未找到引用源。2=(x+错误!未找到引用源。)(x错误!未找到引用源。).(2)存在x,使得x+5=9.其中(a)个体域为自然数集合.(b)个体域为实数集合.解:f(x):错误!未找到引用源。2=(x+错误!未找到引用源。)(x错误!未找到引用源。).g(x):x+5=9.(1)在两个个体域中都解释为?xf(x),在(a)中为假命题,在(b)中为真命题。(2)在两个个体域中都解释为?xg(x),在(a)(b)中均为真命题。4.在一阶逻辑中将下列命题符号化:(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))5.在一阶逻辑将下列命题符号化:(1)火车都比轮船快.(3)不存在比所有火车都快的汽车.解:(1)f(x):x是火车;g(x):x是轮船;h(x,y):x比y快命题符号化为:?x?y((f(x)?g(y))h(x,y))9.给定解释i如下:(a)个体域d为实数集合r.(b)d中特定元素错误!未找到引用源。=0.(c)特定函数错误!未找到引用源。(x,y)=x错误!未找到引用源。y,x,y?未找到引用源。.(d)特定谓词错误!未找到...