atomic formula

From Wiktionary, the free dictionary

Jump to navigation Jump to search

English[edit]

Noun[edit]

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.

Synonyms[edit]

prime formula

Antonyms[edit]

compound formula

Retrieved from "https://en.wiktionary.org/w/index.php?title=atomic_formula&oldid=60458989"