离散数学，谓词翻译题 第四题
1个回答
展开全部
取个体域为实数集 R，记
P(x)：x>0，Q(x, G)：x<-G，S(x,y,z)：|x-y|<z，
则（4）可翻译成谓词公式
AεP(ε)EGP(G)Ax(Q(x, G)→S(f(x),a,ε))
这里 A 为 “任意”，E 为 “存在”。
P(x)：x>0，Q(x, G)：x<-G，S(x,y,z)：|x-y|<z，
则（4）可翻译成谓词公式
AεP(ε)EGP(G)Ax(Q(x, G)→S(f(x),a,ε))
这里 A 为 “任意”，E 为 “存在”。
本回答由网友推荐
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
