 ##  [Atomic Formula](/atomic-formula) 

  ##  [Atomic Formula](https://mathlogic.quantumdictionary.io/atomic-formula-0) 

  
 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural &amp; Formal Sciences -

**Mathematics &amp; Logic Dictionary**

 
Definition

A formula that contains no logical connectives (such as ∧, ∨, →, ¬) and no quantifiers; in first-order logic an atomic formula (atom) is typically a predicate symbol applied to a tuple of terms (including equality atoms), serving as the indivisible building block of complex formulas.