离散数学复习二：空集、补集、德摩根定律、异或、广义交和广义并
集合关系证明的基本原则外延性原则证明两个集合互相包含当有基本结论时，就可以直接用而不需要全用外延性原则。对S−>->−>P or Q形式的证明思路1：非P S 推出 Q2：非Q P 推出 P3：非P 非Q 推出矛盾4：利用p析取非p这样的永真式进行分类讨论关于空集关于补集幂等律、吸收律、双重否定等于肯定集合相减转化为集合∩德摩根定律交对减的分配...
