第一讲——集合论.PDFVIP

第一讲—— 集合论 Outline Some methods for solving in set theory problems Examples Important concepts The world of boxes Connectives Tricky logic References Resources By Xiao Xinpan 南京大学计算机系2007级离散数学习题课 Why set theory  logic? A formal language A way of expressing and checking mathematical  results So: Proofs in set theory should be strict and formal Two formal ways of proving set theory results: Set identities (集合恒等式，cf. 教材p.99‐100) Logic (cf. “常见逻辑定理.pdf”) By Xiao Xinpan 南京大学计算机系2007级离散数学习题课 Example 1 (Set identities) 已知： 且 证明： Proof: Q.E.D. By Xiao Xinpan 南京大学计算机系2007级离散数学习题课 Example 2 (Logic) 证明：对任意集合 ，有 Proof: If            , then for any   , Therefore,  By Xiao Xinpan 南京大学计算机系2007级离散数学习题课 Example 2 (cont.) If , then for any   , Thus we have, Q.E.D. By Xiao Xinpan 南京大学计算机系2007级离散数学习题课 Summary of definitions By Xiao Xinpan 南京大学计算机系2007级离散数学习题课 The world of “boxes” Everything is a set One way to encode “natural numbers”: Therefore, By Xiao Xinpan 南京大学计算机系2007级离散数学习题课 Connectives “If … then …”: 与 意义完全相同，是命题联结词“蕴含”的两 种不同写法，用于将两个命题连接成一个复合命题 是自然语言中“如果……则……”的简记，用于表 达作者的断言和结论。 二者的关系是：说“ ”等同于断言： “ 为永真命题” By Xiao Xinpan 南京大学计算机系2007级离散数学习题课 Connectives (cont.) “If and only if”: 与 意义完全相同，是命题联结词“等价”的两 种不同写法，用于将两个命题连接成一个复合命题 是自然语言中“当且仅当”(有时写成iff) 的简记， 用于表达作者的断言和结论。 二者的关系是：说“ ”等同于断言： “ 为永真命题” By X