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

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

1. 任何命题变量 p 是合式原子公式。
2. 给定任何公式 A，否定 ¬A ("非 A") 是合式公式。
3. 给定任何两个公式 A 和 B，合取 A ∧ B ("A 与 B") 是合式公式。
4. 给定任何两个公式 A 和 B，析取 A ∨ B ("A 或 B") 是合式公式。
5. 给定任何两个公式 A 和 B，蕴涵 A ⇒ B ("A 蕴涵 B ") 是合式公式。

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

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

1. 任何命题变量 p 是合式原子公式。
2. 给定任何公式 A，否定 ¬A ("非 A") 是合式公式。
3. 给定任何两个公式 A 和 B，合取 A ∧ B ("A 与 B") 是合式公式。
4. 给定任何两个公式 A 和 B，析取 A ∨ B ("A 或 B") 是合式公式。
5. 给定任何两个公式 A 和 B，蕴涵 A ⇒ B ("A 蕴涵 B ") 是合式公式。