问答题

计算题 在一阶逻辑中,将命题符号化:实数不都是有理数。

【参考答案】