计算题 证明∀x（F（x）→G（y））为可满足式，但不是永真式。

在一阶逻辑中，将命题符号化：不存在最大的自然数。 点击查看答案

在一阶逻辑中，将命题符号化：若x与y都是实数且x>y，则x+2大于y+2。 点击查看答案