假設有一個邏輯推論系統，black(x)代表x是黑色的，dog(x)代表x是一隻狗，A→B代表若A則B，(Vx)(y)代表所有的x都具有y的特性。根據下列敍述，可以得到什麼邏輯推論：(Vx)(dog(x)→black(x))
A所有動物中的狗都是黑色的
B所有動物中黑色的都是狗
C所有的狗都是黑色的正確答案
D所有黑色的都是狗
答案與詳解
C
正確答案
(∀x)(dog(x)→black(x)) 直譯為「對所有 x，若 x 是狗，則 x 是黑色」，即「所有狗都是黑的」。
載入中…
Examly 收錄 38 萬+ 道歷屆題目，每題都有像這樣的精選詳解。免費下載，立即開練。
