01.集合与简易逻辑(02)提高