7.3 逻辑与集合