两道离散数学题,求解

发布网友发布时间：2023-07-10 15:33

共1个回答

热心网友时间：2024-12-12 07:44

谓词通用公式的：∨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) ))

声明：本网页内容为用户发布，旨在传播知识，不代表本网认同其观点，若有侵权等问题请及时与本网联系，我们将在第一时间删除处理。E-MAIL:11247931@qq.com