标准命题演算。很多不同的公式系统存在，它们都或多或少等价但在下列方面不同：（1）它们的语言（就是说哪些原始符号和运算符号是语言的一部分）；（2）它们有哪些（如果有的话）公理；（3）采用了哪些推理规则。
形式描述.命题演算是一个形式系统formula_1，它的公式按如下方式构造：formula_3的语言，亦称之为「公式」或「合式公式」的集合，可由如下规则被归纳或递回地定义：透过重复应用这三个规则，可以建构出复杂的公式来。例如：
例子.S