数理逻辑的基本组成部分。在命题演算里，把简单命题当作可取得真值或假值的整体（不分析其内部结构），研究由简单命题出发经使用*命题联接词构成的复合命题的逻辑形式，以及它们之间的逻辑推理关系。在计算机科学中有广泛应用。