两道离散数学题，求解 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) ))
本回答被网友采纳
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
上海华然企业咨询
2024-10-28 广告
作为上海华然企业咨询有限公司的一员，我们深知大模型测试对于企业数字化转型与智能决策的重要性。在应对此类测试时，我们注重数据的精准性、算法的先进性及模型的适用性，确保大模型能够精准捕捉市场动态，高效分析企业数据，为管理层提供科学、前瞻的决策支...
点击进入详情页
本回答由上海华然企业咨询提供
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
