試卷資訊
試卷名稱：110年 - 110 地方政府特種考試_四等_資訊處理：計算機概要#104929
年份：110年
科目：計算機概論、大意(資訊科學概論,電腦常識,電子計算機概論)
21 假設有一個邏輯推論系統，black(x)代表 x 是黑色的，dog(x)代表 x 是一隻狗，A→B 代表若 A 則 B，(Vx)(y)
代表所有的 x 都具有 y 的特性。根據下列敍述，可以得到什麼邏輯推論：(Vx)(dog(x)→black(x))
(A) 所有動物中的狗都是黑色的
(B) 所有動物中黑色的都是狗
(C) 所有的狗都是黑色的
(D) 所有黑色的都是狗
阿摩線上測驗
登入
