atomic formula

English

Noun

atomic formula (plural atomic formulae or atomic formulas)

1. (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.

Synonyms

• prime formula

Antonyms

• compound formula