atomic formula

noun

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.”

Opposite
compound formula

Meanings

nounatomic formula (plural atomic formulae or atomic formulas)

plural atomic formulae · plural atomic formulas

  1. human sciencesA 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

Synonyms & antonyms

nounA formula which does not have smaller subformulas.

Opposite
compound formula
Cite this entry
APA

atomic formula. (n.d.). In WatkinsX Dictionary. Retrieved November 2, 2026, from https://dictionary.watkinsx.com/word/atomic%20formula

MLA

“atomic formula.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/atomic%20formula. Accessed November 2, 2026.

Chicago

WatkinsX Dictionary, s.v. “atomic formula,” accessed November 2, 2026, https://dictionary.watkinsx.com/word/atomic%20formula.

Source: atomic formula on Wiktionary, CC BY-SA 4.0.