原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
* * * * 从真值表核对偶律可以简化或推证一些命题公式。统一命题公式可以有各种互相等价的表达形式，为了把命题公式规范化，也就是将一个命题公式化归为一个标准形式问题，这种标准形式就叫范式。 * 从真值表核对偶律可以简化或推证一些命题公式。统一命题公式可以有各种互相等价的表达形式，为了把命题公式规范化，也就是将一个命题公式化归为一个标准形式问题，这种标准形式就叫范式。 * 从真值表核对偶律可以简化或推证一些命题公式。统一命题公式可以有各种互相等价的表达形式，为了把命题公式规范化，也就是将一个命题公式化归为一个标准形式问题，这种标准形式就叫范式。 * 从真值表核对偶律可以简化或推证一些命题公式。统一命题公式可以有各种互相等价的表达形式，为了把命题公式规范化，也就是将一个命题公式化归为一个标准形式问题，这种标准形式就叫范式。 * * 形式结构为 前提：(púq)?r, r?s, ?s 结论：?pù?q 证明 ① r?s 前提引入 ② ?s 前提引入 ③ ?r ①②拒取式 (A?B)ù?B T ?A ④ (púq)?r 前提引入 ⑤ ?(púq) ③④拒取式 ⑥ ?pù?q ⑤置换 直接证明法 (续) 推理定律——重言蕴涵式 重要的推理定律 (1) A T (AúB) 附加律 (2) (AùB) T A 化简律 (3) (A?B)ùA T B 假言推理 (4) (A?B)ù?B T ?A 拒取式 (5) (AúB)ù?B T A 析取三段论 (6) (A?B)ù(B?C) T (A?C) 假言三段论 (7) (A?B)ù(B?C) T (A?C) 等价三段论 (8) (A?B)ù(C?D)ù(AúC) T (BúD) 构造性二难 (3) ? (? A∨B)∧A ?(?A∧A)∨( A∧B) ? ( A∧B) ? A 根据前面八条推理定律，可得下面推理规则。用 A1，A2，…Ak|=B表示B是A1，A2，…Ak的逻辑结论。 (1) A ? B, A |= B 假言推理规则 (2) A |= A∨B 附加规则 (3) A∧B |= A 化简规则 (4) A ? B, ? B |= ? A 拒取式规则 (5) A?B, B?C |=A?C 假言三段论规则 (6) A∨ B, ? A |= B 析取三段论规则 (7) A?B, C ?D, A∨C |= B∨D 构造性两难规则 (8) A, B |=A ∧ B 合取引入规则 第一章 命题逻辑 1.25：构造下列推理的证明。 1. 前提：p ?r , q ?s , p∧q 结论：r ∨ s 证明： ① p∧q 前提引入 ② p ①化简规则 A∧B |= A ③ q ①化简规则 ④ p ?r 前提引入 ⑤ r ② ④假言推理 ((A?B)∧A?B ⑥ q ? s 前提引入 ⑦ s ③⑥假言推理 ⑧ r ∨ s
文档评论（0）