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.
U matematičkoj logici, atomska formula (ili, jednostavnije, atom) je formula bez dubljeg propozicijskog značaja, to jest, formula koja ne sadrži logičke veznike ili, ekvivalentno, formula koja nema strogih podformula.