地特四等
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 所有黑色的都是狗
思路引導 VIP
請試著拆解這個邏輯式：首先，符號 $(\forall x)$ 是指『部分』還是『全體』？接著，在 $P \to Q$ 的結構中，是滿足了 $P$ 才會推導出 $Q$，還是滿足了 $Q$ 才能證明是 $P$ 呢？
🤖
AI 詳解
AI 專屬家教
專業表現！你的邏輯推論非常精準。
這代表你對於人工智慧與離散數學中的「一階邏輯（First-Order Logic）」已經有了良好的開端。以下是針對此題的深度解析：
- 符號語言拆解：
▼ 還有更多解析內容