演算是用来证明有效的公式(就是说它的定理)和论证的逻辑系统。它是公理或公理模式的集合(它可以为空或是可数无限集合)，和推导有效的推理的推理规则。形式文法(或“语法”)递归定义语言的表达式和合式公式。此外给出定义真值和求值(或释义)的语义。它允许我们确定哪个合式公式是有效的(也就是定理)。

在命题演算中语言由命题变量(或者叫占位符(placeholder))和逻辑算子(或者叫连结词)。合式公式是任何原子公式或在句子操作符之上建造的公式。

演算是用来证明有效的公式(就是说它的定理)和论证的逻辑系统。它是公理或公理模式的集合(它可以为空或是可数无限集合)，和推导有效的推理的推理规则。形式文法(或“语法”)递归定义语言的表达式和合式公式。此外给出定义真值和求值(或释义)的语义。它允许我们确定哪个合式公式是有效的(也就是定理)。

在命题演算中语言由命题变量(或者叫占位符(placeholder))和逻辑算子(或者叫连结词)。合式公式是任何原子公式或在句子操作符之上建造的公式。