欢迎来到我的逻辑花园

这里是我关于逻辑学、哲学与人工智能的思考空间。

“逻辑是智慧的开端，而不是终结。” —— 史波克

快速开始

• 命题逻辑：从最基础的真值表开始。
• 一阶逻辑：探索谓词与量词的奥秘。