问答题

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

【参考答案】