两道离散数学题,求解 10

 我来答
墨桃与画
2020-06-17 · 每周热门动漫电影讲解
墨桃与画
采纳数:46 获赞数:55

向TA提问 私信TA
展开全部
谓词通用公式的:∨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) ))
本回答被网友采纳
已赞过 已踩过<
你对这个回答的评价是?
评论 收起
推荐律师服务: 若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询

为你推荐:

下载百度知道APP,抢鲜体验
使用百度知道APP,立即抢鲜体验。你的手机镜头里或许有别人想知道的答案。
扫描二维码下载
×

类别

我们会通过消息、邮箱等方式尽快将举报结果通知您。

说明

0/200

提交
取消

辅 助

模 式