原子公式，在数理逻辑中，原子公式（Atomic formula）或原子是没有子公式的公式。把什么公式当作原子依赖于所使用的逻辑。例如在命题逻辑中，唯一的原子公式是命题变量。原子是在逻辑系统中最小的公式。在逻辑系统中的合式公式通常通过识别所有有效的原子公式，和给出从两个原子公式建立公式的规则而递归的定义。在离散数学中，设R（）是Γ的任意n元谓词，t1，t2，，tn是任意F的任意的n个项，则称R（t1，t2，tn）是Γ的原子公式。通常，原子公式由若干谓词符号和项组成，常量符号是最简单的的项，用来表示域内的物体或实体，它可以是实际的物体，也可以是概念或有名字的事情，变量符号也是项，它不必涉及是哪一个实体。在逻辑系统中的合式公式通常通过识别所有有效的原子公式，和给出从两个原子公式建立公式的规则而递归的定义。从原子公式制作的公式是复合公式。