原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
1-8. 命题推理理论 学习要求 命题公式之间的关系 等价式与蕴含式的关系 小结 判断有效结论的常用方法即蕴含式证明方法-怎样证明公式是蕴含式 例如：用真值表法证明 ?P ∧(P∨Q) ?Q 例题５ 用条件论证，证明例题４ P→(Q→S),?R∨P,Q ? R→S 证明 (1) R P(附加前提) (2) ?R∨P P (3) P T (1)(2) I (4) P→(Q→S) P (5) Q→S T (3)(4) I (6) Q P (7) S T (5)(6) I (8) R→S CP 与例题４相比，因为它增加了一个附加前提，所以推理就容易些。 第一章结束 列真值表的方法给简单 * 例题１求证 P→Q，Q→R，P ? R 证明 序号 公式 理由（注释行） P,P→Q ? Q (1) P P (2) P?Q P (3) Q T(1)(2) I (4) Q→R P (5) R T(3)(4) I P,P→Q ? Q * 例题２ 求证?(P∧Q)∧(Q∨R)∧?R ? ?P ? P, P∨Q ? Q ? P, P∨Q ? Q ?(P∧Q) ??P∨?Q (1) Q∨R P (2) ?R P (3) Q T (1)(2)I (4) ?(P∧Q) P (5) ?P∨?Q T (4)E (6) ?P T (3)(5)I 前提：?(P∧Q)，(Q∨R)，?R 结论：?P * 例题３用命题逻辑推理方法证明下面推理的有效性： 如果我学习，那么我数学不会不及格。如果我不热衷于玩扑克，那么我将学习。但是我数学不及格。因此，我热衷于玩扑克。 解：设 P：我学习。 Q：我数学及格。 R：我热衷于玩扑克。 于是符号化为： P→Q，?R→P，?Q ? R * 证明：P→Q，?R→P，?Q ? R (1) P→Q P (2) ?Q P (3) ?P T (1)(2) I (4) ?R→P P (5) ??R T (3)(4) I (6) R T (5) E I: ?Q，P→Q ? ?P E： ? ? R?R * 例题４求证P→(Q→S),?R∨P,Q ?R→S (P?Q)∧(Q?R) ?P?R P?Q??P∨Q P∨Q?Q∨P P∨(Q∨R) ?(P∨Q)∨R ?P∧(P∨Q)?Q 证明(1) P→(Q→S) P (2) ?P∨(?Q∨S) T (1) E (3) ?P∨(S∨?Q) T (2) E (4) (?P∨S)∨?Q T (3) E (5) Q P (6) ?P∨S T (4)(5) I (7) P→S T (6) E (8) ?R∨P P (9) R→P T (8) E (10) R→S T (7)(9) I * 2.间接证法 （1）条件论证法（CP规则法） （2）反证法 （1）条件论证法 （CP规则法） 该定理也称为CP规则。 针对情况： 前提： H1，H2，…，Hn 结论： R→C 前提： H1，H2，…，Hn ，R 结论： C 解决方法 * （1）条件论证 （CP规则） (A∧B) ? C，则 (A∧B) → C是重言式。 根据公式E19： (P∧Q)→R ? P?(Q→R) 得 A?(B →C)是重言式。 所以， A ?(B→C) (A∧B) ? C A ?(B→C) ？ 问题：由 (A∧B) ? C可以得到A ?(B→C)吗？ * （1）条件论证 （CP规则） 定理1-8.1 如果H1∧H2
文档评论（0）