Chapter-1-命题逻辑初步.pptVIP

关于数学--我的数学观 人们在认识世界的过程中，对世界(包括物质世界和认识物质世界产生的精神世界)的理解形成了一种共同的抽象，抽象到一定程度,这些抽象的字面含义不再与要认识的世界有直接的关系，这就形成了数学。 认识数学要注意的的几个特征 由于是抽象，可以适用于多种场合 由于是抽象，其必然受限于如何抽象，具体表现为不同时期的认识不同 它是一种共同的抽象，因此具有再现性 抽象至不再具有字面的意思，区别于其他科学 抽象的结果作为一种精神存在，也可以作为进一步的认识对象 数学的发展既有应用的推动，又有自身发展的需要 逻辑的目的 逻辑的目的不是告诉你什么是对的，而是告诉你怎么做可以在前提正确的情况下保证你的结论是对的 蕴含式公式 定理 设A和B是命题公式, A?B当且仅当A?B是一个重言式. * 10 * 例 求证: ?(P?Q)?(?P??Q);证明: 在前例中已得: ?(P?Q)?(?P??Q)是重言式, 所以: ?(P?Q)?(?P??Q)# 求证：(P?Q)?(?Q??P) 问：P?Q与Q?P是等价的吗？ * 10 * 逻辑蕴含 当且仅当P?Q是重言式时, 称“P逻辑蕴含Q”, 记作: P?Q; 请注意将“蕴含” ?与“逻辑蕴含” ?区别开来。 * 10 * 公式 名称 ? Q?(P?Q)??P P?Q?P 化简律 simplification 否定后件假言推理modus tollens P?P?Q 增广律 addition (P?Q)?(Q?R)?P?R ?P?(P?Q)?Q 析取三段论 disjunctive syllogism 假言三段论 hypothetical syllogism P?(P?Q)?Q 肯定前件假言推理modus ponens 公式 名称 ?(P?Q)??Q ?P?P?Q 否定前件律 Q?P?Q 肯定后件律 (P?Q)?(R?S)?(P?R)?(Q?S) (P?Q)?(P?R)?(Q?R)?R 两难推理 ?(P?Q)?P (P?Q)?(Q?R)?(P?R) 例 求证： (P?Q)?(Q?R)?P?R 证明：只需证 (P?Q)?(Q?R) ?( P?R)是重言式。 (P?Q)?(Q?R) ?( P?R) ? ?( (P?Q)?(Q?R) ) ? ( P?R) ? ?((?P ? Q)?(? Q ? R) ) ? (? P ?R) ? ? (?P ? Q) ? ?(? Q ? R) ) ? (? P ?R) ?(P ? ? Q) ? (Q ? ? R) ) ? (? P ?R) ? (P ? ? Q) ? ? P) ? (Q ? ? R) ?R) ? (? Q ? ? P) ? (Q ?R) ? ? Q ? Q ? ? P ?R ? T * 10 * 定理 设P和Q为任意两个命题公式, P?Q的充分必要条件是: P?Q且Q?P; * 10 * 蕴含式的性质 (1)设A、B、C为命题公式, 若A?B, 且A是重言式, 则B必是重言式;证明: 由A?B, 知A?B的真值恒为T, 所以, A为T 时, B也必为T# (2)若A?B , B?C, 则A?C; 证明: 由A?B , B?C, 得: A?B和B?C为重言式,  由定理4.2知: (A?B)?(B?C)也是重言式, 又由假言三段论知: (A?B)?(B?C)?A?C, 由性质(1)知: A?C为重言式, 即A?C# * 10 * (3)若A?B , A?C, 则A?(B?C); 证明: 因为A?B, A?C皆为重言式,  1)若A为T, 则B和C皆为T, 故B?C为T,  因此, A?(B?C)为T, 2)若A为F, 则无论B?C为何真值,  都有, A?(B?C)为T, 故 A?(B?C)为重言式, 即A?(B?C) # * 10 * (4)若A?B, C?B, 则A?C?B; 证明: 设A?B, C?B, 则A?B为T, 且C?B为T,从而, (?A?B)?(?C?B)也为T,而由分配律得 (?A?B)?(?C?B) =(?A??C)?B=?(A?C)?B=A?C?B 从而有 A?C?B为T, 故A?C?B# * 10 * 推理理论 定义 设A和C是两个命题公式, 如果A?C为重言式, 即A?C, 称 C为A的有效结论, 或称 C 可由A逻辑地推出。一般地, 假设H1, H2, …,Hn以及C都是命题公式,如果有H1?H2?…?Hn?C, 则称C是一组前提H1,H2, …,Hn的