986-逻辑早期的雏形,是一种用代数演算的方法来研究思维结构的逻辑.ppt

01＝01∪02 （根据[2]） ＝02 （根据[2]，[4]） □ 矛盾。这就证明了01＝02，0是唯一的。 同理，可证1是唯一的，对任意A，A’也是唯一的。 □ 定理22 设A为一个命题，A’为A的补，则A’’＝A。 证明 因为A∩A’＝0，A∪A’＝1（根据[7]，[8]），这说明A是A’的补，但补是唯一的，所以A’’＝A。 □ 定理23 对任意的A和B，有 (1) A∩A＝A， （幂等律） (2) A∪A＝A， （幂等律） (3) A∩0＝0， (4) A∪1＝1。 证明 (4) 因为 A∪1＝(A∪1)∩1 （根据[1]） ＝1∩(A∪1) （根据[3]） ＝(A∪A’)∩(A∪1) （根据[8]） ＝A∪(A’∩1) （根据[6]） ＝(A∪A’) （根据[1]） ＝1， （根据[8]） 所以，A∪1＝1。 □ 从上面三个定理可以看出，我们在推导中隐含地使用了几条推导规则，它们是 (1) 等式的传递推导。如果已知A＝B，B＝C，那么，就可以推出A＝C； (2) 反证法。如果假定一个命题不成立，由此可以得出矛盾的结论，那么，原命题得证； (3) 代换推导。如果一个命题A中的某一命题B（也可以就是这个命题本身），用与它相等的命题C代换之后（即用C代换A中的一个或多个的B）得到命题D，那么，A＝D。 这些推导规则也可以用形式化的方式来表示，不过暂时无此必要。至于其它的推导规则，读者可以从今后的定理证明过程中自己试着去总结。需要指出的是，读者如果感到从定理证明过程中总结推导规则有困难时，完全不必担忧，因为大家今后在数理逻辑课程中将会系统地学习这方面的知识。作者所以这样写教材，是希望大家在今后的学习中，特别是在数学基础课程的学习中，努力去掌握读书、思考、体会、探索的读书方式和方法。 思考：什么样的公式应该和可以作为公理，什么样的规则应该成为推理规则？两者之间有关系吗？ 定理24 对任意的A和B，有 (1) A∩(A∪B)＝A，（吸收律） (2) A∪(A∩B)＝A。（吸收律） 证明 (1) 我们从等式左边出发，推导出右边。 A∩(A∪B)＝(A∪0)∩(A∪B) （根据[2]） ＝A∪(0∩B) （根据[6]） ＝A∪0 （定理23(3)） ＝A。 □ 定理25 若对任意的A、B和C，有A∩B＝A∩C，A∪B＝A∪C，则B＝C。 证明 因为 B＝B∩(B∪A) （由定理24(1)） ＝B∩(C∪A) （由题设） ＝(B∩C)∪(B∩A) （根据[5]） ＝(B∩C)∪(C∩A) （由题设） ＝C∩(A∪B) （根据[5]） ＝C∩(A∪C) （由题设） ＝C， （定理24(1)） 所以，B＝C。 □ 定理26 若对任意的A、B和C，有A∪B＝A∪C，A’∪B＝A’∪C，则B＝C。 证明 因为 (A∪B)∩(A’∪B)＝B∪(A∩A’) （根据[6]） ＝B∪0 （根据[7]） ＝B； （根据[2]） 又 (A∪B)∩(A’∪B)＝(A∪C)∩(A’∪C) （由题设） ＝C∪(A∩A’) （根据[6]） ＝C∪0 （根据[7]） ＝C， （根据[2]） 所以，B＝C。 □ 定理27 若对任意的A、B和C，有A∩B＝A∩C，A’∩B＝A’∩C，则B＝C。 证明留给读者。 下面我们来给出并证明结合律，同时，请读者自己补上每一步推理的依据。 定理28 对任意的A、B和C，有 (1) A∩(B∩C)＝(A∩B)∩C， (2) A∪(B∪C)＝(A∪B)∪C。 证明 (2) 设L＝A∪(B∪C)，M＝(A∪B)∪C，那么 A