2 - 集合与简易逻辑（二）