《电大离散数学数理逻辑部分期末复习辅导.docVIP

《电大离散数学数理逻辑部分期末复习辅导.doc

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

离散数学数理逻辑部分期末复习辅导 一、单项选择题 1.设P:我将去打球,Q:我有时间.命题“我将去打球,仅当我有时间”符号化为( ). A. B. C. D. 复习:P→Q表示的逻辑关系是,P是Q的充分条件,或Q是P的必要条件.因此“只要P则(就)Q”,“P仅当Q”,“只有Q才P”等,都可用复合命题P→Q表示. 解 因为语句“我有时间”是“我将去打球”的必要条件,所以选项B是正确的.记住:“P仅当Q”即表示为P→Q. 答 B 问:如果把“我将去打球”改成“我将去市里”、“我将去旅游”等,会符号化吗? 2.设命题公式G:,则使公式G取真值为1的P,Q,R赋值分别是 ( ). A.B.C.D.?R的真值为0,要使公式G取真值为1,必需?P的真值为0,从而P的真值为1,所以选项D是正确的. 答 D 若题目改为: 设命题公式?P?(Q?R)取真值为1,则P,Q,R的赋值是 . 答 1,0,0;1,0,1;1,1,0;1,1,1;0,1,1 3.命题公式(P?Q)?R的析取范式是 ( ). A.?(P?Q)?R B.(P?Q)?R C.(P?Q)?R D.(?P??Q)?R 复习: 范式: 一个命题公式称为析取范式,当且仅当它具有形式: A1?A2?…?An A1?A2?…?An), (n1) 其中A1,A2,…,An均是命题变元或其否定所组成的.对于给定的命题公式,有一个等价公式,它仅仅小项的析取组成,则该等价式称为原式的主析取范式.求命题公式的主析取范式的推演步骤首先将公式化为析取范式.将公式中的联结词化归成?,?及?.P?Q?(P?Q)?(Q?P)消去?,利用蕴含等价式P?Q ??P?Q消去?) ② 利用德摩根律将否定符号?直接移到各个命题变元之前. 利用分配律、结合律将公式归约为析取范式合取范式.除去析取范式中永假的析取项,并将析取式中重复出现的合取项和相同变元合并. 对于不是小项的合取取式,补入没有出现的命题变元,即通过合取添加P??P)((P??P))式,然后应用分配律展开公式.(4) 合并相同的小项,并将小项按编码从小到大的顺序排列,可用∑∏)表示之. 主析取范式与主合取范式的关系: 一般地,若命题公式A的主析取范式为 ∑(i1, i2, …, ik) 则公式A的主合取范式为 ∏(0, 1, …, i1-1, i1+1, …, ik-1, ik+1, …, 2n-1) 答 D 4.命题公式 (P?Q) 的合取范式是 ( ). A.P?Q B.(P?Q)?(P?Q) C.P?Q D.?(?P??Q) 答 C 5.命题公式的析取范式是( ). A.B C.D. 答 A 注意:第3、4、5题复习了合取范式和析取范式的概念,大家一定要记住的。如果题目改为求一个变元(P或?P)命题公式的合取范式或析取范式,那么答案是什么? 6.下列等价公式成立的为( ). A.?P??Q?P?Q B.P?(?Q?P) ??P?(P?Q) C.?(P?Q) ??Q?(P?Q) D.?P??Q) ?Q 解 A.?P??Q??(P?Q) B.P?(?Q?P)??P?(Q?P)? P?(?P?Q)??P?(P?Q) C.?(P?Q)??Q?(P?Q) D.?P??Q)?(?P?P)?(?P?Q)?1?(?P?Q)??P?Q 答 B 7.下列公式成立的为( ). A.?P??Q ?P?Q B.P??Q ??P?Q C.?P ? P D.?P??Q)?Q 解 A.?P??Q??(P?Q) B.P??Q ??P??Q C.?P)?P??(?Q?P)?P?(Q??P)?P?(Q?P)?(?P?P) ?(Q?P)?1?P?Q(不是永真式) D.??(P?Q)?Q(析取三段论,P171公式(10)) 或者直接推导: ?P?(P?Q)?Q ??(?P?(P?Q))?Q ?(P?(?P??Q))?Q ?((P??P)?(P??Q))?Q ?(P??Q)?Q ?P?(?Q?Q) ?P?1 ?1 所以 ?P?(P?Q)?Q 答 D 8.下列公式中 ( )为永真式. A.?A??B??A??B B.?A??B??(A?B) C.???B?A?B D.???B ? ?(A?B) 解 由定理6.5.3有,A?B的充分必要条件是A?B为永真式(重言式) A., B., C. D. 答 B 9.下列公式 ( )为重言式. A.?P??Q?P?Q

文档评论(0)

saity3 + 关注
实名认证
文档贡献者

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

1亿VIP精品文档

相关文档