在数理逻辑中， 原子公式或原子是没有子公式的公式。把什幺公式当作原子依赖于所使用的逻辑。例如在命题逻辑中，唯一的原子公式是命题变量。

原子是在逻辑系统中"最小"的公式。在逻辑系统中的合式公式通常通过识别所有有效的原子公式，和给出从两个原子公式创建公式的规则而递归的定义。从原子公式制作的公式是复合公式。

例如，在命题逻辑中你有如下的公式构造规则:

所以，我们可以建造任意的复杂的复合公式，比如，从简单的原子公式p、q 和 r 和我们的构造规则构造出 ((p ∧ ¬(q ⇒ r)) ∨ ¬p)。

In mathematical logic, an atomic formula (also known simply as an atom) is a formula with no deeper propositional structure, that is, a formula that contains no logical connectives or equivalently a formula that has no strict subformulas. Atoms are thus the simplest well-formed formulas of the logic. Compound formulas are formed by combining the atomic formulas using the logical connectives.