Logical function
From Encyclopedia of Mathematics
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=31700
Logical function. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Logical_function&oldid=31700
This article was adapted from an original article by V.E. Plisko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article