# Difference between revisions of "Atomic formula"

Jump to navigation
Jump to search

(from Utrecht Lexicon of Linguistics) |
|||

Line 9: | Line 9: | ||

[http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Atomic+formula&lemmacode=1049 Utrecht Lexicon of Linguistics] | [http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Atomic+formula&lemmacode=1049 Utrecht Lexicon of Linguistics] | ||

− | === | + | ===Reference=== |

{{:Gamut 1991}} | {{:Gamut 1991}} | ||

## Latest revision as of 14:54, 15 February 2008

**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

### Reference

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