Get it on Google Play
New! Download Unionpedia on your Android™ device!
Faster access than browser!

Predicate (mathematical logic)

Index Predicate (mathematical logic)

In mathematical logic, a predicate is commonly understood to be a Boolean-valued function P: X→, 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. [1]

29 relations: Arity, Atomic formula, Autoepistemic logic, Binary relation, Boolean expression, Boolean-valued function, Characteristic function (probability theory), Classifying topos, First-order logic, Free variables and bound variables, Function (mathematics), Fuzzy logic, Indicator function, Law of excluded middle, Mathematical logic, Opaque predicate, Plural quantification, Predicate functor logic, Probability distribution, Property (philosophy), Proposition, Propositional calculus, Propositional function, Propositional variable, Set theory, Set-builder notation, Template processor, Truth value, Truth-bearer.


In logic, mathematics, and computer science, the arity of a function or operation is the number of arguments or operands that the function takes.

New!!: Predicate (mathematical logic) and Arity · See more »

Atomic formula

In mathematical logic, an atomic formula (also known simply as an atom) is a formula with no deeper propositional structure, that is, a formula that contains no logical connectives or equivalently a formula that has no strict subformulas.

New!!: Predicate (mathematical logic) and Atomic formula · See more »

Autoepistemic logic

The autoepistemic logic is a formal logic for the representation and reasoning of knowledge about knowledge.

New!!: Predicate (mathematical logic) and Autoepistemic logic · See more »

Binary relation

In mathematics, a binary relation on a set A is a set of ordered pairs of elements of A. In other words, it is a subset of the Cartesian product A2.

New!!: Predicate (mathematical logic) and Binary relation · See more »

Boolean expression

In computer science, a Boolean expression is an expression in a programming language that produces a Boolean value when evaluated, i.e. one of true or false.

New!!: Predicate (mathematical logic) and Boolean expression · See more »

Boolean-valued function

A Boolean-valued function (sometimes called a predicate or a proposition) is a function of the type f: X → B, where X is an arbitrary set and where B is a Boolean domain, i.e. a generic two-element set, (for example B.

New!!: Predicate (mathematical logic) and Boolean-valued function · See more »

Characteristic function (probability theory)

In probability theory and statistics, the characteristic function of any real-valued random variable completely defines its probability distribution.

New!!: Predicate (mathematical logic) and Characteristic function (probability theory) · See more »

Classifying topos

In mathematics, a classifying topos for some sort of structure is a topos T such that there is a natural equivalence between geometric morphisms from a cocomplete topos E to T and the category of models for the structure in E.

New!!: Predicate (mathematical logic) and Classifying topos · See more »

First-order logic

First-order logic—also known as first-order predicate calculus and predicate logic—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science.

New!!: Predicate (mathematical logic) and First-order logic · See more »

Free variables and bound variables

In mathematics, and in other disciplines involving formal languages, including mathematical logic and computer science, a free variable is a notation that specifies places in an expression where substitution may take place.

New!!: Predicate (mathematical logic) and Free variables and bound variables · See more »

Function (mathematics)

In mathematics, a function was originally the idealization of how a varying quantity depends on another quantity.

New!!: Predicate (mathematical logic) and Function (mathematics) · See more »

Fuzzy logic

Fuzzy logic is a form of many-valued logic in which the truth values of variables may be any real number between 0 and 1.

New!!: Predicate (mathematical logic) and Fuzzy logic · See more »

Indicator function

In mathematics, an indicator function or a characteristic function is a function defined on a set X that indicates membership of an element in a subset A of X, having the value 1 for all elements of A and the value 0 for all elements of X not in A. It is usually denoted by a symbol 1 or I, sometimes in boldface or blackboard boldface, with a subscript specifying the subset.

New!!: Predicate (mathematical logic) and Indicator function · See more »

Law of excluded middle

In logic, the law of excluded middle (or the principle of excluded middle) states that for any proposition, either that proposition is true or its negation is true.

New!!: Predicate (mathematical logic) and Law of excluded middle · See more »

Mathematical logic

Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics.

New!!: Predicate (mathematical logic) and Mathematical logic · See more »

Opaque predicate

In computer programming, an opaque predicate is a predicate—an expression that evaluates to either "true" or "false"—for which the outcome is known by the programmer a priori, but which, for a variety of reasons, still needs to be evaluated at run time.

New!!: Predicate (mathematical logic) and Opaque predicate · See more »

Plural quantification

In mathematics and logic, plural quantification is the theory that an individual variable x may take on plural, as well as singular, values.

New!!: Predicate (mathematical logic) and Plural quantification · See more »

Predicate functor logic

In mathematical logic, predicate functor logic (PFL) is one of several ways to express first-order logic (also known as predicate logic) by purely algebraic means, i.e., without quantified variables.

New!!: Predicate (mathematical logic) and Predicate functor logic · See more »

Probability distribution

In probability theory and statistics, a probability distribution is a mathematical function that provides the probabilities of occurrence of different possible outcomes in an experiment.

New!!: Predicate (mathematical logic) and Probability distribution · See more »

Property (philosophy)

In philosophy, mathematics, and logic, a property is a characteristic of an object; a red object is said to have the property of redness.

New!!: Predicate (mathematical logic) and Property (philosophy) · See more »


The term proposition has a broad use in contemporary analytic philosophy.

New!!: Predicate (mathematical logic) and Proposition · See more »

Propositional calculus

Propositional calculus is a branch of logic.

New!!: Predicate (mathematical logic) and Propositional calculus · See more »

Propositional function

A propositional function in logic, is a sentence expressed in a way that would assume the value of true or false, except that within the sentence is a variable (x) that is not defined or specified, which leaves the statement undetermined.

New!!: Predicate (mathematical logic) and Propositional function · See more »

Propositional variable

In mathematical logic, a propositional variable (also called a sentential variable or sentential letter) is a variable which can either be true or false.

New!!: Predicate (mathematical logic) and Propositional variable · See more »

Set theory

Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects.

New!!: Predicate (mathematical logic) and Set theory · See more »

Set-builder notation

In set theory and its applications to logic, mathematics, and computer science, set-builder notation is a mathematical notation for describing a set by enumerating its elements or stating the properties that its members must satisfy.

New!!: Predicate (mathematical logic) and Set-builder notation · See more »

Template processor

A template processor (also known as a template engine or template parser) is software designed to combine templates with a data model to produce result documents.

New!!: Predicate (mathematical logic) and Template processor · See more »

Truth value

In logic and mathematics, a truth value, sometimes called a logical value, is a value indicating the relation of a proposition to truth.

New!!: Predicate (mathematical logic) and Truth value · See more »


A truth-bearer is an entity that is said to be either true or false and nothing else.

New!!: Predicate (mathematical logic) and Truth-bearer · See more »

Redirects here:

Boolean predicates, Logical predicate, Predicate (computer programming), Predicate (logic), Predicate (mathematics), Predication (computer programming).


[1] https://en.wikipedia.org/wiki/Predicate_(mathematical_logic)

Hey! We are on Facebook now! »