两道离散数学题，求解 10
1个回答
展开全部
谓词通用公式的：∨x(F(x)->G(x)),E(x)(F(x)∧G(x))。【上面符号有错误，因为手机没有这种符号先提醒下，E代表存在量词，∨代表所有量词】
1.设：F(x):x是人，G(y):y是网络游戏，H(x,y):x喜欢y。
“有的人喜欢所有的网络游戏，但并非所有的人都喜欢所有的网络游戏。”
谓词公式化：(Ex(F(x)∧(∨y)( G(x)->H(x,y)))∧（非∨x(F(x)->(∨y)( G(y)∧( H(x,y) ))
1.设：F(x):x是人，G(y):y是网络游戏，H(x,y):x喜欢y。
“有的人喜欢所有的网络游戏，但并非所有的人都喜欢所有的网络游戏。”
谓词公式化：(Ex(F(x)∧(∨y)( G(x)->H(x,y)))∧（非∨x(F(x)->(∨y)( G(y)∧( H(x,y) ))
本回答被网友采纳
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
