Difference between revisions of "Predicate"
(At the moment, I do not know enough on this subject to write a good article, so perhaps someone else should.) |
m (categories) |
||
| Line 11: | Line 11: | ||
{{stub}} | {{stub}} | ||
| + | |||
| + | [[Category:Logic]] | ||
| + | [[Category:Set theory]] | ||
Revision as of 17:29, 5 December 2007
A predicate is a logical expression. In the context of set theory, usually a predicate is a statement which can be expressed using only symbols from symbolic logic, variables, and the set-theoretic relations 
and 
.
Examples
In English, this predicate reads, "The empty set is an element of 
." Note that this is not true for all sets.
In English, this translates to, "For all sets 
, the empty set is a subset of ." Since 
is an abbreviation for the predicate 
, this can be rewritten using only logical symbols, variables, and the set-theoretic notations and , as follows:
.
.In English, this revised predicate reads, "For all sets , for all sets , if is an element of the empty set, then is an element of ."
This article is a stub. Help us out by expanding it.
