原子公式

数理逻辑
在数理逻辑中，原子公式（Atomic formula）或原子是没有子公式的公式。把什么公式当作原子依赖于所使用的逻辑。例如在命题逻辑中，唯一的原子公式是命题变量。原子是在逻辑系统中"最小"的公式。

概述

在离散数学中，设
是Γ的任意n元谓词，
是任意F的任意的n个项，则称
是Γ的原子公式。通常，原子公式由若干谓词符号和项组成，常量符号是最简单的的项，用来表示域内的物体或实体，它可以是实际的物体，也可以是概念或有名字的事情，变量符号也是项，它不必涉及是哪一个实体。在逻辑系统中的合式公式通常通过识别所有有效的原子公式，和给出从两个原子公式建立公式的规则而递归的定义。从原子公式制作的公式是复合公式。
例如，在命题逻辑中有如下的公式构造规则:
任何命题变量 p 是合式原子公式。