计算题 在一阶逻辑中，将命题符号化：若x与y都是实数且x>y，则x+2大于y+2。

在一阶逻辑中，将命题符号化：不存在能表示成分数的无理数。 点击查看答案

在一阶逻辑中，将命题符号化：实数不都是有理数。 点击查看答案