Difference between revisions of "Predicate logic"
Wohlgemuth (talk | contribs) m (utrecht) |
Volker gast (talk | contribs) m |
||
Line 13: | Line 13: | ||
=== Links === | === Links === | ||
+ | [http://en.wikipedia.org/wiki/Predicate_logic Predicate logic (Wikipedia)] | ||
[http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Predicate+logic&lemmacode=425 Utrecht Lexicon of Linguistics] | [http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Predicate+logic&lemmacode=425 Utrecht Lexicon of Linguistics] | ||
Revision as of 22:50, 14 March 2009
STUB |
Predicate logic is the logical system in which the atomic propositional letters of propositional logic are analyzed in terms of combinations of predicates and individual terms. The basic expressions are predicates and individual constants and variables instead of propositions.
Example
sentence (i) would be translated in propositional logic with a mere p (for proposition).
(i) John walks
In predicate logic, we analyze John as an individual constant j, representing an entity or individual, and walks as a predicate constant W, representing a property that is attributed to the individual. Translation of (i) into predicate logic would result in the proposition W(j), which is an atomic formula in predicate logic. The individual variables allow formulas to be quantified (into) by means of the existential quantifier and the universal quantifier.
Links
Predicate logic (Wikipedia) Utrecht Lexicon of Linguistics
References
- Gamut, L.T.F. 1991. Logic, language, and meaning, Univ. of Chicago Press, Chicago.
CAT | This article needs proper categorization. You can help Glottopedia by categorizing it Please do not remove this block until the problem is fixed. |