In mathematical logic, an Atomic formula (also known simply as an Atom) is a formula with no deeper propositional structure, that is, a formula that contains no logical connectives or equivalently a formula that has no strict subformulas. Atoms are thus the simplest well-formed formulas of the logic. Compound formulas are formed by combining the Atomic formulas using the logical connectives.   Wikipedia