问答题

简答题 在一阶逻辑中,将命题“实数不都是有理数”符号化。

【参考答案】