ImageVerifierCode 换一换
格式:DOCX , 页数:51 ,大小:145.65KB ,
资源ID:18352259      下载积分:3 金币
快捷下载
登录下载
邮箱/手机:
温馨提示:
快捷下载时,用户名和密码都是您填写的邮箱或者手机号,方便查询和重复下载(系统自动生成)。 如填写123,账号就是123,密码也是123。
特别说明:
请自助下载,系统不会自动发送文件的哦; 如果您已付费,想二次下载,请登录后访问:我的下载记录
支付方式: 支付宝    微信支付   
验证码:   换一换

加入VIP,免费下载
 

温馨提示:由于个人手机设置不同,如果发现不能下载,请复制以下地址【https://www.bdocx.com/down/18352259.html】到电脑端继续下载(重复下载不扣费)。

已注册用户请登录:
账号:
密码:
验证码:   换一换
  忘记密码?
三方登录: 微信登录   QQ登录  

下载须知

1: 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。
2: 试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓。
3: 文件的所有权益归上传用户所有。
4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
5. 本站仅提供交流平台,并不能对任何下载内容负责。
6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

版权提示 | 免责声明

本文(离散数学课后习题答案Word格式文档下载.docx)为本站会员(b****5)主动上传,冰豆网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知冰豆网(发送邮件至service@bdocx.com或直接QQ联系客服),我们立即给予删除!

离散数学课后习题答案Word格式文档下载.docx

1、四边形ABCD是平行四边形。Q :四边形ABCD的对边平行。PQf) 设P:语法错误。程序错误。R:停机。(P Q) R(6) 解:a) P:天气炎热。正在下雨。 PQb) P:湿度较低。 PRc) R:天正在下雨。S:湿度很高。 RSd) A:刘英上山。B:李进上山。 ABe) M:老王是革新者。N:小李是革新者。 MNf) L:你看电影。M:我看电影。 LMg) P:我不看电视。我不外出。 R:我在睡觉。 PQRh) P:控制台打字机作输入设备。控制台打字机作输出设备。1-3(1)解:a) 不是合式公式,没有规定运算符次序(若规定运算符次序后亦可作为合式公式)b) 是合式公式c) 不是合式

2、公式(括弧不配对)d) 不是合式公式(R和S之间缺少联结词)e) 是合式公式。 (2)解:a) A是合式公式,(AB)是合式公式,(A(AB) 是合式公式。这个过程可以简记为:A;(AB);(A(AB) 同理可记b) A;A ;(AB) ;(AB)A)c) A;B;(AB) ;(BA) ;(AB)(BA)d) A;(AB) ;(AB)(BA)(3)解:a) (AC)(BC)A)(BC)A)(AC)b) (BA)(AB)。(4)解: a) 是由c) 式进行代换得到,在c) 中用Q代换P, (PP)代换Q. d) 是由a) 式进行代换得到,在a) 中用 P(QP)代换Q. e) 是由b) 式进行代

3、换得到,用R代换P, S代换Q, Q代换R, P代换S.(5)解: 你没有给我写信。 信在途中丢失了。 P Q 张三不去。 李四不去。 他就去。 (PQ)Rc) P: 我们能划船。 Q: 我们能跑步。 (PQ)d) P: 你来了。 他唱歌。 你伴奏。 P(QR)(6)解:它占据空间。它有质量。它不断变化。 S:它是物质。这个人起初主张:(PQR) S后来主张:(PQS)(SR)这个人开头主张与后来主张的不同点在于:后来认为有PQ必同时有R,开头时没有这样的主张。(7)解: 上午下雨。我去看电影。我在家里读书。我在家里看报。(PQ)(P(RS) 我今天进城。QP 你走了。我留下。QP1-4 (4

4、)解:a) P Q RQRP(QR)(PQ)RT T T F FFTF所以,P(QR) (PQ)Rb) P QR P(QR) PQ (PQ)R F F所以,P(QR) (PQ)R)()()()所以,P(QR) (PQ)(PR) QPQPQ(PQ)PQ(PQ)所以,(PQ) PQ, (PQ) PQ如表,对问好所填的地方,可得公式F1F6,可表达为 P F1 F2 F3 F4 F5 F6F1:(QP)RF2:(PQR)(PQR)F3:(PQ)(QR)F4:(PQR)(PQR)F5:(PQR)(PQR)F6:(PQR)(6)PQ1234 5678910111213141516F T 解:由上表可得有

5、关公式为1.F 2.(PQ) 3.(QP) 4.P 5.(PQ) 6.Q 7.(PQ) 8.(PQ) 9.PQ 10.PQ 11.Q 12.PQ 13.P 14.QP 15.PQ 16.T(7) 证明:a) A(BA) A(BA) A(AB) A(AB) A(AB)b) (AB) (AB)(AB) (AB)(AB)(AB)(AB) 或 (AB) (AB)(BA)(AB)(BA)(AB)(AA)(BB)(BA)(AB)(BA)(AB)(AB) (AB)(AB)c) (AB) (AB) ABd) (AB)(AB)(BA)(AB)(AB)e) (ABC)D)(C(ABD) (ABC)D)(C(ABD

6、) (ABC)D)(ABC)D) (ABC)(ABC)D (ABC)(ABC)D (AB)(AB)C)D (C(AB)D)f) A(BC) A(BC) (AB)C(AB)C (AB)Cg) (AD)(BD)(AD)(BD) (AB)D (AB)D (AB)Dh) (AB)C)(B(DC) (AB)C)(B(DC) (AB)(BD)C(AB) (DB)C(AB)(DB)C (AD)B)C (B(DA)C(8)解:a) (AB) (BA)C (AB) (BA)C (AB) (AB)CTCCb) A(A(BB) (AA)(BB) TF Tc) (ABC)(ABC) (AA) (BC)T(BC)BC(

7、9)解:1)设C为T,A为T,B为F,则满足ACBC,但AB不成立。 2)设C为F,A为T,B为F,则满足ACBC,但AB不成立。3)由题意知A和B的真值相同,所以A和B的真值也相同。习题 1-5(1) 证明:a) (P(PQ)Q(P(PQ)Q(PP)(PQ)Q(PQ)Q(PQ)QPQQPTb) P(PQ)P(PQ) (PP)QTQc) (PQ)(QR)(PR)因为(PQ)(QR)(PR)所以(PQ)(QR)为重言式。d) (ab)(bc) (ca)(ab)(bc)(ca)因为(ab)(bc)(ca)(ac)b)(ca)(ac)(ca)(b(ca)(ac)(bc)(ba)所以(ab)(bc)

8、(ca)(ab)(bc)(ca) 为重言式。(2) 证明:a)(PQ)P(PQ)解法1:设PQ为T(1)若P为T,则Q为T,所以PQ为T,故P(PQ)为T(2)若P为F,则Q为F,所以PQ为F,P(PQ)为T命题得证解法2:设P(PQ)为F,则P为T,(PQ)为F,故必有P为T,Q为F,所以PQ为F。解法3:(PQ) (P(PQ)(PQ)(P(PQ)(PQ)(PP)(PQ)所以(PQ)P(PQ)b)(PQ)QPQ设PQ为F,则P为F,且Q为F,故PQ为T,(PQ)Q为F,所以(PQ)QPQ。c)(Q(PP)(R(R(PP)RQ设RQ为F,则R为T,且Q为F,又PP为F所以Q(PP)为T,R(P

9、P)为F所以R(R(PP)为F,所以(Q(PP)(R(R(PP)为F即(Q(PP)(R(R(PP)RQ成立。a) PQ表示命题“如果8是偶数,那么糖果是甜的”。b) a)的逆换式QP表示命题“如果糖果是甜的,那么8是偶数”。c) a)的反换式PQ表示命题“如果8不是偶数,那么糖果不是甜的”。d) a)的逆反式QP表示命题“如果糖果不是甜的,那么8不是偶数”。a) 如果天下雨,我不去。设P:我不去。PQ 逆换式QP表示命题:如果我不去,则天下雨。逆反式QP表示命题:如果我去,则天不下雨b) 仅当你走我将留下。设S:你走了。我将留下。RS逆换式SR表示命题:如果你走了则我将留下。逆反式SR表示命题

10、:如果你不走,则我不留下。c) 如果我不能获得更多帮助,我不能完成个任务。设E:我不能获得更多帮助。H:我不能完成这个任务。EH逆换式HE表示命题:我不能完成这个任务,则我不能获得更多帮助。逆反式HE表示命题:我完成这个任务,则我能获得更多帮助(5) 试证明PQ,Q逻辑蕴含P。证明:本题要求证明(PQ) QP, 设(PQ) Q为T,则(PQ)为T,Q为T,故由的定义,必有P为T。所以(PQ) QP由体题可知,即证(PQ)Q)P是永真式。 (PQ)Q)P (PQ) (PQ) Q)P (PQ) (PQ) Q) P (PQ) (PQ) Q) P (QPQ) (QPQ) P (QP) T) PQPPQ

11、T P:我学习 Q:我数学不及格 R:我热衷于玩扑克。如果我学习,那么我数学不会不及格: PQ如果我不热衷于玩扑克,那么我将学习: RP 但我数学不及格:因此我热衷于玩扑克。即本题符号化为:(PQ)(RP)QR证:证法1:(PQ)(RP)Q)R (PQ)(RP)Q) R (PQ)(RP)QR (QP)(QQ)(RR)(RP) QPRP T所以,论证有效。证法2:设(PQ)(RP)Q为T,则因Q为T,(PQ) 为T,可得P为F,由(RP)为T,得到R为T。故本题论证有效。(7) 解:6是偶数 7被2除尽 5是素数如果6是偶数,则7被2除不尽 或5不是素数,或7被2除尽 RQ5是素数 所以6是奇数

12、 P(PQ)(RQ)R P(PQ)(RQ)R)P (PQ) (RQ) R) P (PQ) (RQ) R) P (PP) (PQ) (RR) (RQ) (PQ) (RQ)T所以,论证有效,但实际上他不符合实际意义。(PQ)(RQ)R为T,则有R为T,且RQ 为T,故Q为T,再由PQ为T,得到P为T。(8) 证明:a) P(PQ)设P为T,则P为F,故PQ为Tb) ABCC假定ABC为T,则C为T。c) CABB因为ABB为永真,所以CABB成立。d) (AB) AB设(AB)为T,则AB为F。若A为T,B为F,则A为F,B为T,故AB为T。若A为F,B为T,则A为T,B为F,故AB为T。若A为F

13、,B为F,则A为T,B为T,故AB为T。命题得证。e) A(BC),DE,(DE)ABC设A(BC),DE,(DE)A为T,则DE为T,(DE)A为T,所以A为T又A(BC)为T,所以BC为T。f) (AB)C,D,CDAB设(AB)C,D,CD为T,则D为T,CD为T,所以C为F又(AB)C为T,所以AB为F,所以AB为T。a) 如果他有勇气,他将得胜。他有勇气他将得胜 原命题:PQ 逆反式:QP 表示:如果他失败了,说明他没勇气。b) 仅当他不累他将得胜。他不累他得胜 QPPQ 表示:如果他累,他将失败。习题 1-6a) (PQ)P(PP)Q(TQ)b) (P(QR) PQ (P(QR)P

14、Q(PPQ)(QPQ)(RPQ)(PQ)(PQ)(PRQ)PQ(PQ)c) PQ(RP)PQ(RP) (PQR)(PQP)(PQR)FPQR(PQR)a)P PPb)PQ(PQ) (PQ)(PQ)c)PQPQ (PP)(QQ)P(PQ)P(PQ)PP (PP)(PP)P(PP) (PP)(PP)P)(PP)P)(PP)P)PQ(PQ)(PP)(QQ) (PP)(QQ)(PP)(QQ)(5)证明:(BC)(BC) BC(BC)(BC)BC联结词“”和“”不满足结合律。举例如下:a)给出一组指派:P为T,Q为F,R为F,则(PQ)R为T,P(QR)为F故 (PQ)R P(QR).b)给出一组指派:

15、P为T,Q为F,R为F,则(PQ) R为T,P(QR)为F故(PQ)R P(QR).(7)证明:设变元P,Q,用连结词,作用于P,Q得到:P,Q,P,Q,PQ,PP,QQ,QP。但PQQP,PPQQ,故实际有:P,Q,P,Q,PQ,PP(T) (A)用作用于(A)类,得到扩大的公式类(包括原公式类):P,Q,P,Q,(PQ), T,F, PQ (B)用作用于(A)类,得到:PQ,PPF,PQ(PQ),P(PQ)Q,P(PP)P,QP(PQ),QQF,Q(PQ)P,QTQ, PQPQ,P(PQ)Q,PTP, Q(PQ)P,QTQ,(PQ)(PQ)PQ.因此,(A)类使用运算后,仍在(B)类中。对

16、(B)类使用运算得:P,Q,P,Q, PQ, F,T,(PQ), 仍在(B)类中。对(B)类使用运算得:PQ,PPF,PQ(PQ),P(PQ)Q,PTP,PFP,P(PQ)Q, QP(PQ),QQF,Q(PQ)P,QTQ, QFQ, Q(PQ)P, PQPQ,P(PQ)Q,PTP, PFP,P(PQ)Q, Q(PQ)P,QTQ, QTQ,Q(PQ)P,(PQ)T(PQ),(PQ)FPQ,(PQ)(PQ)FTFF,T(PQ) PQF(PQ) (PQ)故由(B)类使用运算后,结果仍在(B)中。由上证明:用,两个连结词,反复作用在两个变元的公式中,结果只能产生(B)类中的公式,总共仅八个不同的公式,故,不是功能完备的,更不能是最小联结词组。已证,不是最小联结词组,又因为P Q (PQ),故任何命题公式中的联结词,如仅用 , 表达,则必可用,表达,其逆亦真。故 , 也必不是最小联结词组。(8)证明,和不是最小联结词组。若,和是最小联结词,则 P(PP) P(PP) PP(P(P)对所有命题变元指派T,则等价式左边为F,右边为T,与等价表达式矛盾。所以,和不是最小联结词。(9)证明,和, 是最小联结词组。因为,为最小联结词组,且PQPQ所以,是功能完备的联结词组,又

copyright@ 2008-2022 冰豆网网站版权所有

经营许可证编号:鄂ICP备2022015515号-1