Categories: Disambiguation In logic, a truth value, or truth-value, is a value indicating to what extent a statement is true. ... A boolean-valued function is a function of the type , where is an arbitrary set, where is a generic 2-element set, typically , and where the latter is frequently interpreted for logical applications as . ... Some mathematicians use the phrase characteristic function synonymously with indicator function. ... In the mathematical subfield of set theory, the indicator function, or characteristic function, is a function defined on a set X which is used to indicate membership of an element in a subset A of X. Remark. ... In mathematics, the concept of binary relation, sometimes called dyadic relation, is exemplified by such ideas as is greater than and is equal to in arithmetic, or is congruent to in geometry, or is an element of or is a subset of in set theory. ... Wikibooks has more about Boolean logic, under the somewhat misleading title Boolean Algebra For a basic intro to sets, Boolean operations, Venn diagrams, truth tables, and Boolean applications, see Boolean logic. ... Boolean logic is a system of syllogistic logic invented by 19th-century British mathematician George Boole, which attempts to incorporate the empty set, that is, a class of non-existent entities, such as round squares, without resorting to uncertain truth values. ... In computer science the boolean datatype, sometimes called the logical datatype, is a primitive datatype having two values: one and zero (sometimes called true and false). ...