Atomic formula

From Glottopedia
Revision as of 14:53, 15 February 2008 by Luo (talk | contribs) (from Utrecht Lexicon of Linguistics)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Atomic formula is a formula without connectives or quantifiers, made up only of a predicate with arguments.

Examples

P(a) or R(x,y)

More complicated formulas like [P(a) & R(x,y)] or All(x)[P(x)] are not atomic formulas due to the presence of & and All.

Link

Utrecht Lexicon of Linguistics

References

Gamut, L.T.F. 1991. Logic, language, and meaning. Chicago: Univ. of Chicago Press.