需要说明的是,离散数学证明过程需要讲明运算定律(最好细化到每一步,图中的=也可以写成等价符号(双箭头))
一二、{x},中只有一个元素x,而{{x}}中也只有一个元素{x},第一个是x,而第二个集合中的元素是一个集合{x},两个集合没有交集,也就是说{x}-{{x}}={x},显然一二是对的。
三的话,x<(包含符号不会打,,就用这个了)x,那么显然x
5的话空集是任何集合的子集,所以对
6的话{∅}是一个单元集,其元素只有一个,也是一个集合,就是∅,所以自然∅∈{∅}。
7的话对么。。?没抄错吧。。?
8也是类似。
总之lz这些对错总体就是一点,集合也可以作为其它集合的元素。