中学的象征化

(3/2属于Z)蕴涵(6/2属于Z)

后者之所以包含前者,是因为“只有……

PS:

隐含意义和中学的“推导”是一样的。

z是一个整数集。

看似荒谬,却是真命题,相当有趣。^_^

我无法输入属于或包含_