1 - 集合与简易逻辑(一)