Namespaces
Variants
Actions

Difference between revisions of "Logical function"

From Encyclopedia of Mathematics
Jump to: navigation, search
(TeX)
(Category:Logic and foundations)
 
Line 3: Line 3:
  
 
A logical function is sometimes defined as an $n$-place function defined on a set $M$ and taking values in the set $\{\text T,\text F\}$. Such functions are used in mathematical logic as an analogue of the concept of a [[Predicate|predicate]].
 
A logical function is sometimes defined as an $n$-place function defined on a set $M$ and taking values in the set $\{\text T,\text F\}$. Such functions are used in mathematical logic as an analogue of the concept of a [[Predicate|predicate]].
 +
 +
[[Category:Logic and foundations]]

Latest revision as of 16:55, 2 November 2014

An $n$-place function defined on the set of truth values (cf. Truth value) $\{\text T,\text F\}$ and taking values in this set. With every logical operation $\mathfrak A$ is associated a logical function $f_\mathfrak A$: If $V_1,\ldots,V_n$ are truth values, then $f_\mathfrak A(V_1,\ldots,V_n)$ is the truth value of the proposition $\mathfrak A(P_1,\ldots,P_n)$, where $P_1,\ldots,P_n$ are propositions such that the truth value of $P_i$ is equal to $V_i$, $i=1,\ldots,n$.

A logical function is sometimes defined as an $n$-place function defined on a set $M$ and taking values in the set $\{\text T,\text F\}$. 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
This article was adapted from an original article by V.E. Plisko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article