我練習了一道很簡單的離散數(shù)學基礎題,
題目是寫邏輯表達式,現(xiàn)在已知：
C(x):x 是一只貓; D(x):x是一只狗; U(x):x 是丑的; F(x):x 很多毛; H(x,y):x 討厭y
寫出如下表達式：
(a).沒有貓是丑的 ：¬∃x C(x) ^ U(x)
(b).所有的狗都是丑的 ：∀x D(x) -> U(x)
(c).一些貓毛很多 ：∃x C(x) ^ F(x)
(d).不是所有的貓毛都很多 ：¬∀x C(x) -> F(x)
(e).所有的貓都討厭某些狗 :∀x∃y C(x) ^ D(y) -> H(x,y)
(f).一些貓討厭所有的狗：∃x∀y C(x) ^ D(y) ^ H(x,y)
(g).不是所有的貓都討厭所有的狗 ：¬∀x∀y C(x) ^ D(y) -> H(x,y)
希望大家能幫我看看我寫得如何,如果有錯誤,我會追加更多分的.