问答题用谓词逻辑形式化下列描述： “不存在最大的整数”
题目
问答题
用谓词逻辑形式化下列描述： “不存在最大的整数”
相似考题
参考答案和解析
正确答案：
定义谓词:
G(x):x为整数;
D(x,y):x大于y;
形式化为:
¬∃x(G(x)∧∀y(G(y)→D(x,y)))
或者:
∀x(G(x)→∃y(G(y)∧D(y,x)))
定义谓词:
G(x):x为整数;
D(x,y):x大于y;
形式化为:
¬∃x(G(x)∧∀y(G(y)→D(x,y)))
或者:
∀x(G(x)→∃y(G(y)∧D(y,x)))
解析：
暂无解析