更新时间：2024-05-21 17:23
在数理逻辑中， 原子公式或原子是没有子公式的公式。把什么公式当作原子依赖于所使用的逻辑。例如在命题逻辑中，唯一的原子公式是命题变量。
例如，在命题逻辑中你有如下的合式公式构造规则:
根据以上规则，我们可以构造更加复杂的合式公式。比如，从简单的原子公式P、Q和R，根据我们的构造规则构造出 ((P∧¬(Q→R))∨¬P)。