問題詳情
21 假設有一個邏輯推論系統，black(x)代表 x 是黑色的，dog(x)代表 x 是一隻狗，A→B 代表若 A 則 B，(Vx)(y)代表所有的 x 都具有 y 的特性。根據下列敍述，可以得到什麼邏輯推論：(Vx)(dog(x)→black(x))
(A) 所有動物中的狗都是黑色的
(B) 所有動物中黑色的都是狗
(C) 所有的狗都是黑色的
(D) 所有黑色的都是狗
參考答案
答案：C
難度：簡單0.65
書單：沒有書單，新增
用户評論
【小V】評論
(Vx)(y) ==>代表所有的 x 都具有 y 的特性。(Vx)(dog(x)→black(x))==>代表所有的 x 都具有dog(x)→black(x) 的特性。(Vx)(x 是一隻狗→x 是黑色)==>代表所有的 x 都具有x 是一隻狗→x 是黑色 的特性。只要是狗都是黑色