atomic formula/sentence

Quick Reference

Technically, an atomic formula is one with no logical constants. An atomic sentence is an atomic formula with no free variables. Intuitively, it is the kind of sentence on the basis of which one might start to construct logical complexity: a sentence consisting of a name and a monadic predicate (Bill snores) or a number of names and a relational predicate (Bill loves Mary).

Subjects: Philosophy.

Reference entries