PREFACE

比如，A∩B不等于空集，直接推出A和B都不是空集，因此再假设 存在x属于A 属于B这种的

如果是超集，那这个集合肯定不是空集

如果有子集，那可能是空集，可以直接let这个集合是$\empty$

这样如果题是对的，直接正向证明；如果是反例，就直接Counter example

看题目：

比如我下面第一个图的解法不严谨：得先证明集合都不是空集，才能假设有元素x。

下图解法严谨正确。

---

Welcome to point out the mistakes and faults!