【计算题】在一阶逻辑中，将命题符号化：实数不都是有理数。