命题逻辑 命题逻辑是逻辑学的一个分支 它也称为命題演算句子演算句子逻辑有时也称为零阶逻辑它涉及命题可以是真或假和命题之间的关系包括基于它们的论证的构建复合命题是通过逻辑连接词连接命题而形成的不包含逻辑连接词的命题称为原子命题 与一阶逻辑不同命题逻辑不处理非逻辑对象以及关于它们的谓词或量词然而命题逻辑的所有机制都包含在一阶逻辑和高阶逻辑中从这个意义上说命题逻辑是一阶逻辑和高阶逻辑的基础 在邏輯和數學裡 命题逻辑是一個形式系統 有可以由以邏輯運算符結合原子命題來構成代表命題的公式以及允許某些公式建構成定理的一套形式證明規則