atomic formula
Noun
Meaning
atomic formula (plural atomic formulae or atomic formulas)
(logic) A formula which does not have smaller subformulas.
In predicate logic, an atomic formula consists of a predicate together with its arguments, its arguments being terms.