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

Researchers examined several atomic formulae to verify the consistency of the logical system.

In first-order logic, atomic formulas serve as the basic building blocks from which more complex formulas are constructed.