2. 逻辑与集合