集合与简单逻辑