我练习了一道很简单的离散数学基础题,
题目是写逻辑表达式,现在已知:
C(x):x是一只猫;D(x):x是一只狗;U(x):x是丑的;F(x):x很多毛;H(x,y):x讨厌y
写出如下表达式:
(a).没有猫是丑的:¬∃xC(x)^U(x)
(b).所有的狗都是丑的:∀xD(x)->U(x)
(c).一些猫毛很多:∃xC(x)^F(x)
(d).不是所有的猫毛都很多:¬∀xC(x)->F(x)
(e).所有的猫都讨厌某些狗:∀x∃yC(x)^D(y)->H(x,y)
(f).一些猫讨厌所有的狗:∃x∀yC(x)^D(y)^H(x,y)
(g).不是所有的猫都讨厌所有的狗:¬∀x∀yC(x)^D(y)->H(x,y)
希望大家能帮我看看我写得如何,如果有错误,我会追加更多分的.
邮箱:联系方式: