Synonyms for atomic formula
- noun
Most common
Definitions
- n. 1
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.
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.