离散数学中另外 是什么逻辑·例如 π是无理数.另外,如果6能整出4,就能整出2.符号化 咋表示