Difference between revisions of "Atomic formula"

From Glottopedia
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]  
  
===References===
+
===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.