我练习了一道很简单的离散数学基础题,题目是写逻辑表达式,现在已知：C(x):x 是一只猫; D(x)

我练习了一道很简单的离散数学基础题,题目是写逻辑表达式,现在已知：C(x):x 是一只猫; D(x)

(a).没有猫是丑的:¬∃x( C(x)∧U(x)),加括号:x一定是约束变元,放在作用域之内(b).所有的狗都是丑的:∀x (D(x)→U(x)),加括号,理由同上,(c).一些猫毛很多:∃x( C(x)∧ F(x)) ,加括号,理由同上,(d).不是所有的猫毛都很多:¬∀x( C(x) → F(x)),加括号,理由同上,(e).所有的猫都讨厌某些狗:∀x( C(x) →∃y (D(y)∧H(x,y)))或∀x∃y ( C(x)→(D(y)∧H(x,y))),→位置不对,(f).一些猫讨厌所有的狗:∃x (C(x)∧∀y (D(y)→ H(x,y))或∃x ∀y (C(x)∧(D(y)→ H(x,y)),不对,全称量词跟条件式,(g).不是所有的猫都讨厌所有的狗 ：¬∀x (C(x)→∀y (D(y)→H(x,y))或¬∀x ∀y (C(x)→ (D(y)→H(x,y)),不对,全称量词跟条件式,======以下答案可供参考======供参考答案1:同学不加括号的话，量词的辖域会不清楚导致出错的哦！例如，你的（a）会默认成所有猫并且是丑的。括号也是很重要的！

正好我需要

如以上回答内容为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！

点此我要举报以上问答信息