公式（数理逻辑）

定义 1　原子公式

　　 单个命题常量或命题变元成为一个原子公式。

定义 2　（合式）公式

　　 （合式）公式按以下规则递归地定义：

1. 原子公式是合式公式。
2. 若 $A$ 是一个合式公式，则 $\neq A$ 也是一个合式公式。
3. 若 $A$ 与 $B$ 都是合式公式，则 $(A \land B)$、$(A \lor B)$、$(A \to B)$ 与 $(A \leftrightarrow B)$ 都是合式公式。
4. 有限次的 $1$、$2$、$3$ 组合出来的都是合式公式。

　　 由此可以发现，只要使得所有命题变元都变为命题常元，也就是确定了解释，则公式也就变为了一个命题。

定义 3　公式的类型

1. 矛盾式（永假式）：公式在各种的可能情况下均为假，均不成立。
2. 重言式（永真式）：公式在各种的可能情况下均为真，均成立。
3. 可满足式：公式存在至少一种可能的解释使得公式成立。

定义 4　公式的等价

　　 两个公式在所有可能解释的情况下真值均相同，就称这两个公式等价，用符号 $\Leftrightarrow$ 或 $=$。

定义 5　公式的蕴含

　　 类似于公式的等价，公式间的蕴含也用 $\Rightarrow$ 表示。表示各个可能解释下两个公式对应在该解释下对应的命题都符合蕴含关系。