解答 就这个谓词公式，解释 I 也用不着这么 4 条，只需 3 条： 1）个体域 D=N； 2）N 上的函数 f(x,y) = x+y； 3）N 上的谓词 F(x,y)：x=y， 在这个解释 I 下，公式 ∀x∀y∃zF(f(x,y),z) 被解释成： “(∀x∈N)(∀y∈N)(∃z∈N)(x+y=z)”，这个命题是真的。
