# GetWiki

*predicate (mathematical logic)*

ARTICLE SUBJECTS

being →

database →

ethics →

fiction →

history →

internet →

language →

linux →

logic →

method →

news →

policy →

purpose →

religion →

science →

software →

truth →

unix →

wiki →

ARTICLE TYPES

essay →

feed →

help →

system →

wiki →

ARTICLE ORIGINS

critical →

forked →

imported →

original →

predicate (mathematical logic)

[ temporary import ]

**please note:**

- the content below is remote from Wikipedia

- it has been imported raw for GetWiki

**predicate**is commonly understood to be a Boolean-valued function

*P*:

*X*â†’ {true, false}, called the predicate on

*X*. However, predicates have many different uses and interpretations in mathematics and logic, and their precise definition, meaning and use will vary from theory to theory. So, for example, when a theory defines the concept of a relation, then a predicate is simply the characteristic function (otherwise known as the indicator function) of a relation. However, not all theories have relations, or are founded on set theory, and so one must be careful with the proper definition and semantic interpretation of a predicate.

## Simplified overview

Informally, a predicate is a statement that may be true or false depending on the values of its variables.BOOK, Cunningham, Daniel W., A Logical Introduction to Proof, 2012, Springer, New York, 9781461436317, 29,weblink It can be thought of as an operator or function that returns a value that is either true or false.WEB, Haas, Guy M., What If? (Predicates),weblink Introduction to Computer Programming, Berkeley Foundation for Opportunities in IT (BFOIT), 20 July 2013, 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 also commonly used to talk about the properties of objects, by defining the set of all objects that have some property in common. So, for example, when

*P*is a predicate on

*X*, one might sometimes say

*P*is a property of

*X*. Similarly, the notation

*P*(

*x*) is used to denote a sentence or statement

*P*concerning the variable object x. The set defined by

*P*(

*x*) is written as {

*x*|

*P*(

*x*)}, and is the set of objects for which

*P*is true. 9For instance, {

*x*|

*x*is a natural number less than 4} is the set {1,2,3}.If

*t*is an element of the set {

*x*|

*P*(

*x*)}, then the statement

*P*(

*t*) is

*true*.Here,

*P*(

*x*) is referred to as the

*predicate*, and

*x*the

*placeholder*of the

*proposition*. Sometimes,

*P*(

*x*) is also called a (template in the role of) propositional function, as each choice of the placeholder

*x*produces a proposition.A simple form of predicate is a Boolean expression, in which case the inputs to the expression are themselves Boolean values, combined using Boolean operations. Similarly, a Boolean expression with inputs predicates is itself a more complex predicate.

## Formal definition

The precise semantic interpretation of an atomic formula and an atomic sentence will vary from theory to theory.- In propositional logic, atomic formulas are called propositional variables.BOOK, Lavrov, Igor Andreevich, Larisa, Maksimova, Larisa Maksimova, Problems in Set Theory, Mathematical Logic, and the Theory of Algorithms, 2003, Springer, New York, 0306477122, 52,weblink In a sense, these are nullary (i.e. 0-arity) predicates.
- In first-order logic, an atomic formula consists of a predicate symbol applied to an appropriate number of terms.
- In set theory, predicates are understood to be characteristic functions or set indicator functions,
*i.e.*functions from a set element to a truth value. Set-builder notation makes use of predicates to define sets. - In autoepistemic logic, which rejects the law of excluded middle, predicates may be true, false, or simply
*unknown*;*i.e.*a given collection of facts may be insufficient to determine the truth or falsehood of a predicate. - In fuzzy logic, predicates are the characteristic functions of a probability distribution. That is, the strict true/false valuation of the predicate is replaced by a quantity interpreted as the degree of truth.

## See also

- Free variables and bound variables
- Predicate functor logic
- Truthbearer
- Multigrade predicate
- Opaque predicate
- Classifying topos
- binary relation

## References

{{Reflist}}## External links

{{Mathematical logic}}**- content above as imported from Wikipedia**

- "

- time: 9:05pm EDT - Fri, May 24 2019

- "

__predicate (mathematical logic)__" does not exist on GetWiki (yet)- time: 9:05pm EDT - Fri, May 24 2019

[ this remote article is provided by Wikipedia ]

LATEST EDITS [ see all ]

GETWIKI 09 MAY 2016

GETWIKI 18 OCT 2015

GETWIKI 20 AUG 2014

GETWIKI 19 AUG 2014

GETWIKI 18 AUG 2014

© 2019 M.R.M. PARROTT | ALL RIGHTS RESERVED