命题演算（逻辑学术语）是命题逻辑的公理化，任务是使用演算手段来讨论命题逻辑。可采用两种方法建立命题演算：自然演算和公理演算。

命题演算系统的代表：自然演算SN、公理化命题演算P。其中公理化命题演算P由德国逻辑学家D.希尔伯特和W.阿克曼在《数理逻辑基础》一书中提出。