Predicate logic - Revision history

NBlöcher: Edited the format, removed the block {{cats}}

2014-09-27T19:02:44Z

Edited the format, removed the block {{cats}}

NBlöcher: /* Example */

2014-06-01T09:12:43Z

Example

Volker gast at 22:51, 14 March 2009

2009-03-14T22:51:16Z

Volker gast at 22:50, 14 March 2009

2009-03-14T22:50:59Z

Wohlgemuth: utrecht

2009-02-19T21:29:44Z

utrecht

New page

{{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 ===

[http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Predicate+logic&lemmacode=425 Utrecht Lexicon of Linguistics]

=== References ===

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

{{dc}}
[[Category:Semantics]]

{{cats}}

@@ Line 13: / Line 13: @@
 === Links ===
-[http://en.wikipedia.org/wiki/Predicate_logic Predicate logic (Wikipedia)]
+[http://en.wikipedia.org/wiki/Predicate_logic Predicate logic (Wikipedia)]<br>
 [http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Predicate+logic&lemmacode=425 Utrecht Lexicon of Linguistics]

← Older revision		Revision as of 22:50, 14 March 2009
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]

@@ Line 1: / Line 1: @@
 {{stub}}
+==Definiton==
 '''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 ===
+== Example ==
 Sentence (i) would be translated in propositional logic with a mere ''p'' (for proposition).
@@ Line 11: / Line 10: @@
 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 ===
+== Links ==
+*[http://en.wikipedia.org/wiki/Predicate_logic Predicate logic (Wikipedia)]<br>
-[http://en.wikipedia.org/wiki/Predicate_logic Predicate logic (Wikipedia)]<br>
+*[http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Predicate+logic&lemmacode=425 Utrecht Lexicon of Linguistics]
 * Gamut, L.T.F. 1991. ''Logic, language, and meaning,'' Univ. of Chicago Press, Chicago.
 {{dc}}
 [[Category:Semantics]]

@@ Line 5: / Line 5: @@
 === Example ===
-sentence (i) would be translated in propositional logic with a mere ''p'' (for proposition).
+Sentence (i) would be translated in propositional logic with a mere ''p'' (for proposition).
   (i) John walks