http://glottopedia.org/index.php?action=history&feed=atom&title=Quantifier_%28in_predicate_logic%29 2026-04-23T00:35:38Z Revision history for this page on the wiki MediaWiki 1.34.2 http://glottopedia.org/index.php?title=Quantifier_(in_predicate_logic)&diff=8598&oldid=prev 2009-02-20T13:27:44Z

<p>utrecht 1</p> <p><b>New page</b></p><div>{{stub}}<br /> <br /> In [[predicate logic]], the [[logical constant]] indicating whether a statement is universal or particular is calles '''quantifier'''. The [[universal quantifier]] ''All'' indicates that all entities in the universe have a given property while the [[existential quantifier]] ThereIs indicates that at least one entity has the property:<br /> <br /> (i) a All(x) [ P(x) ]<br /> &quot;Every x has property P&quot;<br /> b ThereIs(y) [ Q(y) ]<br /> &quot;At least one y has property Q&quot;<br /> <br /> The term quantifier can either be used for the symbols All and ThereIs themselves or for the combination with the variable they bind: All(x) and ThereIs(y). A more complex use of quantifiers is shown in (ii):<br /> <br /> (ii) All(x) [ P(x) -&amp;gt; ThereIs(y) [ Q(y) &amp;amp; R(x,y) ]<br /> <br /> which might be the translation of a sentence like ''Every teenage girl adores a rock star''. <br /> <br /> <br /> === Links ===<br /> <br /> [http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Quantifier&amp;lemmacode=366 Utrecht Lexicon of Linguistics]<br /> <br /> === References ===<br /> <br /> * Gamut, L.T.F. 1991. ''Logic, language, and meaning,'' Univ. of Chicago Press, Chicago.<br /> <br /> {{dc}}<br /> [[Category:Semantics]]</div>

Wohlgemuth