只是差在平面几何的证明题。这些证明题的目的是加强逻辑训练，但是，直接学逻辑更好。

所有跟帖： 

• 好长网名 -545f- ♀ (0 bytes) () 10/10/2018 postreply 11:24:37

• 先学propositional logic, 再学first order logic ，平面几何基本没用。 -QualityWithoutName- ♂ (0 bytes) () 10/10/2018 postreply 11:24:43

• 你还觉得不够的话，去学modal logic。 -QualityWithoutName- ♂ (0 bytes) () 10/10/2018 postreply 11:27:56

• 这些是传统AI的基础。 -QualityWithoutName- ♂ (0 bytes) () 10/10/2018 postreply 11:30:34