在逻辑中的公式典型的递归的建造自一些命题变量，一些逻辑连结词，和一些逻辑量词。命题变量是命题逻辑的原子公式。例如，在一个给定的命题逻辑中，我们可以按如下方式定义公式:

• 所有命题变量是公式。
• 给定公式 ，否定  是公式。
• 给定两个公式 和 ，和一个二元连结词  (比如逻辑合取 ∧)，则 是公式。

用这种方式，命题逻辑的所有的公式都可以建造自作为基本单位的命题变量。

在逻辑中的公式典型的递归的建造自一些命题变量，一些逻辑连结词，和一些逻辑量词。命题变量是命题逻辑的原子公式。例如，在一个给定的命题逻辑中，我们可以按如下方式定义公式:

• 所有命题变量是公式。
• 给定公式 ，否定  是公式。
• 给定两个公式 和 ，和一个二元连结词  (比如逻辑合取 ∧)，则 是公式。

用这种方式，命题逻辑的所有的公式都可以建造自作为基本单位的命题变量。