问答题

简答题 在一阶逻辑中,将命题“若x与y都是实数且x〉y,则x+2〉y+2”符号化。

【参考答案】