先學propositional logic, 再學first order logic ，平麵幾何基本沒用。

所有跟帖： 

• 你還覺得不夠的話，去學modal logic。 -QualityWithoutName- ♂ (0 bytes) () 10/10/2018 postreply 11:27:56

• 這些是傳統AI的基礎。 -QualityWithoutName- ♂ (0 bytes) () 10/10/2018 postreply 11:30:34