离散数学 谓词逻辑的一道题目? 80
将下列命题符号化:没有人长着绿色头发。我写的答案是P(x):x是人,G(x):x长着绿色头发,表示为:∀x┐(P(x)∧G(x))参考答案是:P(x):x是人...
将下列命题符号化:没有人长着绿色头发。
我写的答案是 P(x):x是人,G(x):x长着绿色头发,表示为:∀x ┐(P(x) ∧ G(x))
参考答案是:P(x):x是人,H(x,y):x有y,G(x):x是绿色头发,表示为:∀x┐ (P(x)∧H(x,y)∧G(y))
我的写法有错吗,求解 展开
我写的答案是 P(x):x是人,G(x):x长着绿色头发,表示为:∀x ┐(P(x) ∧ G(x))
参考答案是:P(x):x是人,H(x,y):x有y,G(x):x是绿色头发,表示为:∀x┐ (P(x)∧H(x,y)∧G(y))
我的写法有错吗,求解 展开
1个回答
推荐律师服务:
若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询