一阶逻辑符号化：正数大于负数

我们可以使用一阶逻辑来符号化'正数都大于负数'这个命题。假设我们使用P(x)表示x是正数，Q(x)表示x是负数，以及R(x, y)表示x大于y。那么我们可以将命题符号化为：

∀x (P(x) → (∀y (Q(y) → R(x, y))))

这个命题可以解释为：对于所有的x，如果x是正数，则对于所有的y，如果y是负数，则x大于y。

请注意，这只是一种可能的符号化方式，不同的逻辑系统和推理目标可能会选择不同的符号化方式。