假設有一個邏輯推論系統，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) 所有 x、dog(x)→black(x) 若是狗則為黑色，合起來就是「所有的狗都是黑色的」。
載入中…
忠實翻譯：(∀x) 所有 x、dog(x)→black(x) 若是狗則為黑色，合起來就是「所有的狗都是黑色的」。
Examly 收錄 38 萬+ 道歷屆題目，每題都有像這樣的精選詳解。免費下載，立即開練。
