在逻辑和数学里，命题演算（或称句子演算）是一个形式系统，有着可以由以逻辑运算符结合原子命题来构成代表「命题」的公式，以及允许某些公式建构成「定理」的一套形式「证明规则」。

一般地说，演算是一个形式系统，包括一套语法表达式（合式公式）、这些表达式的一个特定子集（公理）和一套定义了特定的二元关系的形式规则，这个二元关系可解释为表达式空间上的逻辑等价关系。

若形式系统会作为一个逻辑系统，其表达式会被解释成数学陈述，且其规则，被称之为「推理规则」，则一般会是保真的。在此设置下，规则（可能也包括公理）可以被用来从给定为真的陈述的公式中推导出表示真的陈述的公式来。

Propositional calculus (also called propositional logic, sentential calculus, or sentential logic) is the branch of mathematical logic concerned with the study of propositions (whether they are true or false) that are formed by other propositions with the use of logical connectives, and how their value depends on the truth value of their components. Logical connectives are found in natural languages. In English for example, some examples are "and" (conjunction), "or" (disjunction), "not” (negation) and "if" (but only when used to denote material conditional).