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)

  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

[edit]

Antonyms

[edit]

Coordinate terms

[edit]