计算题 在一阶逻辑中讲命题符号化：有的实数是有理数，有的实数是无理数。