命题逻辑

---

形式逻辑较简单、较基本的组成部分。它不考虑把命题分析成个体词、谓词和量词等非命题成分的组合，只研究由命题和命题联结词构成的复合命题，特别是研究命题联结词的逻辑性质和推理规律，所以命题逻辑有时又称为联结词的逻辑。命题逻辑分为经典命题逻辑和非经典命题逻辑。经典命题逻辑，指二值外延命题逻辑；非经典命题逻辑，指非二值的或非外延的命题逻辑，如横态逻辑、多值逻辑、时态逻辑等逻辑系统中的命题逻辑。形式化的命题逻辑称为命题演算，一般有重言式的公理系统和自然演绎系统两种。