[经济学]第三章 命题逻辑的推理理论.pptVIP

第三章 命题逻辑的推理理论 本章的主要内容 推理的形式结构 自然推理系统P 本章与其他章的联系 本章是第五章的特殊情况和先行准备 3.1 推理的形式结构 一、何为推理？何为证明？ 1．例（1）正项级数收敛当且仅当部分和有上界 （2）若A?B且C?D，则A?C?B?D （3）若今天是星期一，则明天是星期二 （4）若A?C?B?D，则A?B且C?D 二、推理的形式结构及证明方法 1．推理的正确与错误 定义3.1 设A1, A2, …, Ak, B为命题公式 （1）若对于每组赋值，或者A1?A2?…? Ak 均为假，或者当A1?A2?…?Ak为真时，B也为真，则称由前提A1, A2, …, Ak推出B的推理正确，并称B是有效结论； （2）否则称推理不正确（错误）； 2．推理的形式结构（多种形式） （1）设?={ A1, A2, …, Ak} ?┣B （2）A1?A2?…?Ak?B （3）前提： A1, A2, … , Ak 结论： B 3．判断推理是否正确的方法（多种） （1）真值表法 （2）等值演算法 （3）主析取范式法 （4）构造证明法 例 判断下面推理是否正确?（1）若今天是1号，则明天是5号. 今天是1号. 所以明天是5号. （2）若今天是1号，则明天是5号. 明天是5号. 所以今天是1号. 解 设p：今天是1号，q：明天是5号. 证明的形式结构采用（2）. （1）(p?q)?p?q （2）(p?q)?q?p 证明：（2）（用主析取范式法） (p?q)?q?p ? (?p?q)?q?p ? ? ((?p?q)?q)?p ? ?q?p ? (?p??q)?(p??q)? (p??q)?(p?q) ? m0?m2?m3 结果不含m1, 故01是成假赋值,所以推理不正确 4.推理定律 （1）推理定律——重言蕴涵式 （2）重要的推理定律 A ? (A?B) 附加律 (A?B) ? A 化简律 (A?B)?A ? B 假言推理 (A?B)??B ? ?A 拒取式 (A?B)??B ? A 析取三段论 (A?B)?(B?C) ? (A?C) 假言三段论 (A?B)?(B?C) ? (A?C) 等价三段论 (A?B)?(C?D)?(A?C) ? (B?D) 构造性二难 (A?B)?(?A?B)?(A??A)?B 构造性二难(特殊形式) (A?B)?(C?D)?( ?B??D) ? (?A??C) 破坏性二难 3.2 自然推理系统P 一、形式系统 1．形式系统的定义 定义3.2 一个形式系统I由下面四个部分组成： （1）非空的字母表，记作A(I). （2）A(I)中符号构造的合式公式集，记作E(I). （3）E(I)中一些特殊的公式组成的公理集，记作AX(I). （4）推理规则集，记作R(I). 二、自然推理系统P 定义3.3 P的定义如下 1．字母表 （1）命题变项符号：p, q, r, …, pi, qi, ri, … （2）联结词符号：?, ?, ?, ?, ? （3）括号与逗号：(, ), ， 2．合式公式（同定义1.6） 三、在自然推理系统P中构造证明 1．直接证明法 （3）证明 ① r?s 前提引入 ② ?s 前提引入 ③ ?r ①②拒取式 ④ (p?q)?r 前提引入 ⑤ ?(p?q) ③④拒取式 2. 附加前提证明法 （1）欲证： 前提：A1, A2, …, Ak 结论：C?B 例 构造下面推理的证明：2是素数或合数. 若2是素数，则 是无理数. 若 是无理数，则4不是素数. 所以，如果4是素数，则2是合数. 用附加前提证明法构造证明 （1）设p：2是素数，q：2是合数， r： 是无理数， s：4是素数 （3）证明 ① s 附加前提引入 ② p?r