命题逻辑

分析复合命题所包含的命题成分，着重研究命题联结词的性质而导出有关逻辑形式和规律的逻辑理论。它不涉及命题成分内部的结构，以此和谓词逻辑相区别。命题逻辑的公理化就是命题演算。古希腊的斯多葛学派最早提出的逻辑是命题逻辑的萌芽，直到20世纪初数理逻辑形成一门独立的学科，命题逻辑才获得巨大的发展。