In first-order logic, an atomic formula cannot be decomposed into smaller subformulas, so we treat it as a basic unit.