noun
Meaning 1
A formula which does not have smaller subformulas.
Definition source: English Wiktionary via Wiktextract
Topics: human-sciences, logic, mathematics, philosophy, sciences
Examples
- In predicate logic, an atomic formula consists of a predicate together with its arguments, its arguments being terms.
Meaning relationships
Synonyms: none provided
Antonyms: none provided