原子公式 在数理逻辑中 原子公式英語Atomic formula或原子是没有子公式的公式把什么公式当作原子依赖于所使用的逻辑例如在命题逻辑中唯一的原子公式是命题变量 原子是在逻辑系统中最小的公式在逻辑系统中的合式公式通常通过识别所有有效的原子公式和给出从两个原子公式建立公式的规则而递归的定义从原子公式制作的公式是复合公式 例如在命题逻辑中你有如下的公式构造规则 任何命题变量 p 是合式原子公式 给定任何公式 A否定 A 非 A 是合式公式 给定任何两个公式 A 和 B合取 A  B A 与 B 是合式公式 给定任何两个公式 A 和 B析取 A  B A 或 B 是合式公式 给定任何两个公式 A 和 B蕴涵 A  B A 蕴涵 B  是合式公式 所以我们可以建造任意的复杂的复合公式比如从简单的原子公式pq 和 r 和我们的构造规则构造出 p  q  r  p