atomic formula

English

Noun

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

prime formula

Antonyms

compound formula

This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.