01集合、充分必要条件、简易逻辑2