atomic formula
Jump to navigation
Jump to search
English
[edit]Noun
[edit]atomic formula (plural atomic formulae or atomic formulas)
- (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.