Logical function
From Encyclopedia of Mathematics
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
An -place function defined on the set of truth values (cf. Truth value) and taking values in this set. With every logical operation is associated a logical function : If are truth values, then is the truth value of the proposition , where are propositions such that the truth value of is equal to , .
A logical function is sometimes defined as an -place function defined on a set and taking values in the set . Such functions are used in mathematical logic as an analogue of the concept of a predicate.
How to Cite This Entry:
Logical function. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Logical_function&oldid=19211
Logical function. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Logical_function&oldid=19211
This article was adapted from an original article by V.E. Plisko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article