离散数学 判断是否为命题求解

二、给定解释I如下
1、个体域D=N
2、特定元素a=2
3、N上的函数f(x,y)=x+y,g(x,y)=x.y
4、N上的谓词F(x,y):x=y
给写出下列各式在I下的解释，并讨论他们的真值
∀x∀y∃zF(f(x,y),z)
答：公式被解释成“∀x∀y∃z(x+y=z)”
不是命题
为什么说不是命题

就这个谓词公式，解释 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)”，
这个命题是真的。

离散数学中的格定义是：设（l，≤）是偏序集，若l中任意两个元素都存在上确界以及下确界，则称（l，≤）是格。 显然这题目中1.2 有最小上界就是1与2 向左或向右的第一个交点（我们分别命名为3，4，最上面的为5） （注意 方向一定确定就不可以改动，也不能逆向） 由于4与5是直接连在一起 故1，2无最大下界 （只要4与5断开就是了）