##### 经典逻辑 - 经典逻辑 - **经典逻辑**是[[形式逻辑]]的核心分支, 研究[[推理]]的形式结构, 基于二值逻辑和[[逻辑基本规律]], 不关心词项具体[[定义]] - [[命题逻辑]], 研究命题及其之间的逻辑关系, 关注命题之间通过逻辑运算的复合推导 - [[谓词逻辑]], 引入变量, 谓词和量词, 能够表示对象之间的关系和属性