📑 Table of Contents▼

In propositional calculus, a propositional function or a predicate is a sentence expressed in a way that would assume the value of true or false, except that within the sentence there is a variable (x) that is not defined or specified (thus being a free variable), which leaves the statement undetermined. The sentence may contain several such variables (e.g. n variables, in which case the function takes n arguments).

Overview

edit

As a mathematical function, A(x) or A(x1, x2, ..., xn), the propositional function is abstracted from predicates or propositional forms. As an example, consider the predicate scheme, "x is hot". The substitution of any entity for x will produce a specific proposition that can be described as either true or false, even though "x is hot" on its own has no value as either a true or false statement. However, when a value is assigned to x, such as lava, the function then has the value true; while one assigns to x a value like ice, the function then has the value false.

Propositional functions are useful in set theory for the formation of sets. For example, in 1903 Bertrand Russell wrote in The Principles of Mathematics (page 106):

"...it has become necessary to take propositional function as a primitive notion.

Later Russell examined the problem of whether propositional functions were predicative or not, and he proposed two theories to try to get at this question: the zig-zag theory and the ramified theory of types.[1]

A Propositional Function, or a predicate, in a variable x is an open formula p(x) involving x that becomes a proposition when one gives x a definite value from the set of values it can take.

According to Clarence Lewis, "A proposition is any expression which is either true or false; a propositional function is an expression, containing one or more variables, which becomes a proposition when each of the variables is replaced by some one of its values from a discourse domain of individuals."[2] Lewis used the notion of propositional functions to introduce relations, for example, a propositional function of n variables is a relation of arity n. The case of n = 2 corresponds to binary relations, of which there are homogeneous relations (both variables from the same set) and heterogeneous relations.

See also

edit

References

edit
  1. ^ Tiles, Mary (2004). The philosophy of set theory an historical introduction to Cantor's paradise (Dover ed.). Mineola, N.Y.: Dover Publications. p. 159. ISBN 978-0-486-43520-6. Retrieved 1 February 2013.
  2. ^ Clarence Lewis (1918) A Survey of Symbolic Logic, page 232, University of California Press, second edition 1932, Dover edition 1960

📚 Artikel Terkait di Wikipedia

Propositional logic

Propositional logic is a branch of classical logic. It is also called statement logic, sentential calculus, propositional calculus, sentential logic,

History of the function concept

proposition; this proposition is called a "value" of the propositional function. In our example there are four values of the propositional function,

Four Noble Truths

important teachings in Buddhism, they have both a symbolic and a propositional function. Symbolically, they represent the awakening and liberation of the

Universal quantification

{\displaystyle \lnot } denotes negation. For example, if P(x) is the propositional function "x is married", then, for the set X of all living human beings,

Principia Mathematica

matrix is (at least for propositional functions), a truth table, i.e., all truth-values of a propositional or predicate function. Sheffer stroke: Is the

Argument of a function

argument to a function Propositional function – Expression in propositional calculus Type signature – Defines the inputs and outputs for a function, subroutine

Proposition

of its sensory nature, or as a propositional process whose contents can be true or false. Psychological propositionalism is the view that all intentional

Logicism

the proposition, his argument being that, indeed, the arguments x do not belong to the propositional function aka "class" created by the function. The