中学的象征化 (3/2属于Z)蕴涵(6/2属于Z)后者之所以包含前者,是因为“只有……PS:隐含意义和中学的“推导”是一样的。z是一个整数集。看似荒谬,却是真命题,相当有趣。^_^我无法输入属于或包含_