atomic formula en · NOUN
Meanings
-
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.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| atomic formulas | Number=Plur | lexicographic | |
| atomic formulae | Number=Plur | lexicographic |