Difference between revisions of "Edu:Predicate"
From IAOA Wiki
(Created page with " == Predicate == [Logic] A predicate or relation is a function that maps its arguments to the truth values 1 and 0 or T and F. (Knowledge Representation, John F. Sowa, 2000,...") |
(→Predicate: To add space between entries, had to add numbering manually; Modified format; Added 'Commentary' section, moved some text to it and added additional comment.) |
||
| Line 2: | Line 2: | ||
== Predicate == | == Predicate == | ||
| − | [Logic] A predicate or relation is a function that maps its arguments to the truth values 1 and 0 or T and F. (Knowledge Representation, John F. Sowa, 2000, Brooks Cole, pg. 468). | + | :1. [Logic] A predicate or relation is a function that maps its arguments to the truth values 1 and 0 or T and F. (Knowledge Representation, John F. Sowa, 2000, Brooks Cole, pg. 468). |
| − | [Logic] Predicate is short for ... Propositional Function P(x1,x2,...,xn), for n >= 0 if (independent) variables. (Mathematical Logic, Stephen Kleene,1967, John Wiley & Sons, pg. 74). | + | :2. [Logic] Predicate is short for ... Propositional Function P(x1,x2,...,xn), for n >= 0 if (independent) variables. (Mathematical Logic, Stephen Kleene,1967, John Wiley & Sons, pg. 74). |
| − | |||
| − | Predicates are | + | ''' Commentary ''' |
| + | * [Informally] A predicate is a statement that may be true or false depending on the values of its variables. It can be thought of as an operator or function that returns a value that is either true or false. For example, predicates are sometimes used to indicate set membership: when talking about sets, it is sometimes inconvenient or impossible to describe a set by listing all of its elements. Thus, a predicate P(x) will be true or false, depending on whether x belongs to a set. | ||
| + | |||
| + | * Predicates are commonly used to refer to properties of objects, by defining the set of all objects that have some property in common. | ||
| + | |||
| + | * The notion 'predicate' is also used to refer to an n-ary relation. | ||
[[Category:Term|Term]] | [[Category:Term|Term]] | ||
Latest revision as of 22:45, 9 January 2020
Predicate
- 1. [Logic] A predicate or relation is a function that maps its arguments to the truth values 1 and 0 or T and F. (Knowledge Representation, John F. Sowa, 2000, Brooks Cole, pg. 468).
- 2. [Logic] Predicate is short for ... Propositional Function P(x1,x2,...,xn), for n >= 0 if (independent) variables. (Mathematical Logic, Stephen Kleene,1967, John Wiley & Sons, pg. 74).
Commentary
- [Informally] A predicate is a statement that may be true or false depending on the values of its variables. It can be thought of as an operator or function that returns a value that is either true or false. For example, predicates are sometimes used to indicate set membership: when talking about sets, it is sometimes inconvenient or impossible to describe a set by listing all of its elements. Thus, a predicate P(x) will be true or false, depending on whether x belongs to a set.
- Predicates are commonly used to refer to properties of objects, by defining the set of all objects that have some property in common.
- The notion 'predicate' is also used to refer to an n-ary relation.
