号和运算符号是语言的一部分）；（2）它们有哪些（如果有的话）公理；（3）采用了哪些推理规则。
形式描述.命题演算是一个形式系统formula_1，它的公式按如下方式构造：formula_3的语言，亦称之为「公式」或「合式公式」的集合，可由如下规则被归纳或递回地定义：透过重复应用这三个规则，可以建构出复杂的公式来。例如：
例子.
简单的公理系统.设formula_33，这里的formula_34定义如下：在合