部分习题参考解答.docx

  1. 1、本文档共27页,可阅读全部内容。
  2. 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多

PAGE

PAGE10

习题参考解答

习题1.1

1、(3)P:银行利率降低

Q:股价没有上升

P∧Q

(5) P:他今天乘火车去了北京Q:他随旅行团去了九寨沟

P?Q

(7) P:不识庐山真面目Q:身在此山中

Q→P,或 ~P→~Q

(9) P:一个整数能被6整除

Q:一个整数能被3整除R:一个整数能被2整除T:一个整数的各位数字之和能被3整除

P→Q∧R ,Q→T

2、(1)T (2)F (3)F (4)T (5)F

(6)T (7)T(F) (8)悖论

习题 1.3

1、(3)

P?(Q?R)??P?(Q?R)?(?P?Q)?(?P?R)

?(P?Q)?(P?R)

(4)

(P?Q)?(Q?R)?(R?P)?((P?R)?Q)?(R?P)

?((P?R)?(R?P))?(Q?(R?P))

?(P?R)?(P?R)?(Q?R)?(Q?P)

?右

2、不,不, 能

习题 1.4

2、①

3、

4、

习题 1.5

1、(3)P (R (Q P)) ~P (R (~Q P))

(~P R) (T) ~P R (~P R (~Q Q))(~P R ~Q) (~P R Q)

主合取范式

P (R (Q P)

P (R ( Q P))

P (R Q) (R P))

( P ( Q Q) ( R R) (R Q ( P P)) (R P ( Q Q))( P Q R) ( P Q R) ( P Q R) ( P Q R)

(R Q P) (R Q P) (R P Q) (R P Q)

( P Q R) ( P Q R) ( P Q R)

(R Q P) (R Q P) (R P Q)

————主析取范式

2、(2) (P Q) (P R) (~P Q) (~P R)

(~P Q (~R R)) (~P R (~Q Q))(~P Q ~R) (~P Q R) (~P R ~Q)

P (Q R) ~P (Q R)

(~P Q) (~P R)

(~P Q ~R) (~P Q R) (~P R ~Q)

等价

3、解:根据给定的条件有下述命题公式:

(A→(C D))∧~(B∧C)∧~(C∧D)

(~A∨(C∧~D)∨(~C∧D))∧(~B∨~C)∧(~C∨~D)

((~A∧~B)∨(C∧~D∧~B)∨(~C∧D∧~B)∨

(~A∧~C)∨(C∧~D∧~C)∨(~C∧D∧~C))∧(~C∨~D)

((~A∧~B)∨(C∧~D∧~B)∨(~C∧D∧~B)∨

(~A∧~C)∨(~C∧D∧~C))∧(~C∨~D)

(~A∧~B∧~C)∨(C∧~D∧~B∧~C)∨(~C∧D∧~B∧~C)∨

(~A∧~C∧~C)∨(~C∧D∧~C∧~C)∨(~A∧~B∧~D)∨

(C∧~D∧~B∧~D)∨(~C∧D∧~B∧~D)∨(~A∧~C∧~D)∨

(~C∧D∧~C∧~D)(由题意和矛盾律可得下式)

(~C∧D∧~B)∨(~A∧~C)∨(~C∧D)∨(C∧~D∧~B)

(~C∧D∧~B∧A)∨(~C∧D∧~B∧~A)∨(~A∧~C∧B)∨

(~A∧~C∧~B)∨(~C∧D∧A)∨(~C∧D∧~A)∨

(C∧~D∧~B∧A)∨(C∧~D∧~B∧~A)

(~C∧D∧~B∧A)∨(~A∧~C∧B∧D)∨(~A∧~C∧B∧~D)∨

(~A∧~C∧~B∧D)∨(~A∧~C∧~B∧~D)∨

(~C∧D∧A∧B)∨(~C∧D∧A∧~B)∨(~C∧D∧~A∧B)∨

(~C∧D∧~A∧~B)∨(C∧~D∧~B∧A)∨(C∧~D∧~B∧~A)

(由题意可得下式)

(~C∧D∧~B∧A)∨(~A∧~C∧B∧D)∨(~C∧D∧A∧~B)∨

(~C∧D∧~A∧B)∨(C∧~D∧~B∧A)

(~C∧D∧~B∧A

文档评论(0)

tianya189 + 关注
官方认证
内容提供者

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

认证主体阳新县融易互联网技术工作室
IP属地上海
统一社会信用代码/组织机构代码
92420222MA4ELHM75D

1亿VIP精品文档

相关文档