《集合论与逻辑代数初步》复习要求(续)

四、基本方法1.理解并掌握反证法,归谬法的原理,能运用反证法证明有关集合论的命题。2.理解并掌握数学归纳法的原理,能运用它证明与自然数有关的命题。3.正确理解和熟练掌握蕴涵推演法和双蕴涵推演法。熟记常用的逻辑定律,能应用蕴涵推演法和双蕴涵推演法进行推证集合论的结论。如初等运算律,运算性质,关于集合的等价关系式等。要注意蕴涵推演法与双蕴涵推演法的理论依据分别是蕴涵词的传递律与双蕴涵词的传递律。