Namespaces
Variants
Actions

Propositional function

From Encyclopedia of Mathematics
Revision as of 17:24, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

A function whose arguments and values are truth values (cf. Truth value). This term is used when the discussion is about interpretations of a formalized logical language.

If is the set of truth values of formulas of a given language, then a propositional function is any expression of the type (). These functions are interpreted as propositional connectives (cf. Propositional connective) that allow one to form new statements or formulas. In the classical two-valued interpretation of the set of truth values, i.e. when , such functions are also called functions of the algebra of logic.


Comments

Propositional functions are also called truth functions. When , they are also called Boolean functions.

More or less equivalently, propositional functions are functions whose arguments and values are propositions.

References

[a1] S.C. Kleene, "Introduction to metamathematics" , North-Holland (1959) pp. 144; 226
How to Cite This Entry:
Propositional function. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Propositional_function&oldid=32391
This article was adapted from an original article by V.N. Grishin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article