第一章数理逻辑.ppt

下载文档 降价啦

7
0
约2.93万字
约 171页
2017-07-05 发布于湖北
举报
版权申诉
保障服务

第一章数理逻辑.ppt

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

例1.6.2：H：（P?Q）?（P?R）?（Q?S） C：S?R 证法1：（1）P?Q P (2)?P?Q T(1) E (3)Q?S P (4)?P?S T(2),(3) I (5)?S?P T(4) E (6)P?R P (7)?S?R T(5),(6) I (8)S?R T(7) E 1-6 推理理论例1.6.3：H：（P?Q）?（P?R）?（Q?S） C：S?R 证法2：(1) P?R P (2) P?Q?R?Q T(1) I (3) Q?S P (4) R?Q?R?S T(3) I (5) P?Q?R?S T(2),(4) I (6) P?Q P (7) R?S T(5),(6) I 1-6 推理理论例：H：（W?R）?V，V?C?S，S? U，?C??U??W 证明: (1) ?C??U P (2) ?U T(1) I (3) S?U P (4) ?S T(2),(3) I (5) ?C T(1) I (6) ?S??C T(4),(5) I (7) ?(C?S) T(6) E (8) （W?R?V P (9) V?(C?S) P (10) (W?R)?(C?S) T(8),(9) I (11) ?(W?R ) T(7),(10) I (12) ?W??R T(11) E (13) ?W T(12) I 1-8 推理理论 3.间接证法 (1)反证法(归谬法） (2)CP规则方法一（反证法）：设要证H1,…,Hm?C，只要证?C?（H1?…,?Hm）为永假式即可。因为要证H1,…,Hm?C，只要证?C??（H1?…,? Hm）即可，C??（H1?…,?Hm）为永真式，即证?C?（H1?…,?Hm)为永假式即可。 3 间接证法例1.6.4：（A?B）??（B?C）??A 证明：（1）A?B P (2)A P(附加前提) (3)?（B?C） P (4)?B??C T(3) E (5)B T(1),(2) I (6) ?B T(4),I (7) B ? ?B T(5),(6) I 1-6 推理理论例1.6.5 H：?(p?q)?r, r?s, ?s, p C：?q 证明: 用归缪法 ① q P（附加前提） ② r?s P ③ ?s P ④ ?r T(2),(3) I ⑤ ?(p?q)?r P ⑥ ?(p?q) T(4),(5) I ⑦ ?p??q T(6) E ⑧ ?p T(1),(7) I ⑨ p P ??p?p T(8),(9) I 1-6推理理论方法二(CP)