Logical function

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

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:
This article was adapted from an original article by V.E. Plisko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article