计算题 在一阶逻辑中，将命题符号化：不存在能表示成分数的无理数。