atomic formula

Noun

 * 1)  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.

Synonyms

 * prime formula

Antonyms

 * compound formula