集合与简易逻辑知识点