21 假設有一個邏輯推論系統，black(x)代表 x 是黑色的，dog(x)代表 x 是一隻狗，A→B 代表若 A 則 B，(Vx)(y) 代表所有的 x 都具有 y 的特性。根據下列敍述，可以得到什麼邏輯推論：(Vx)(dog(x)→black(x)) (A) 所有動物中的狗都是黑色的 (B) 所有動物中黑色的都是狗 (C) 所有的狗都是黑色的 (D) 所有黑色的都是狗