In logic, a truth function[1] is a function that accepts truth values as input and produces a unique truth value as output. In other words: the input and output of a truth function are all truth values; a truth function will always output exactly one truth value, and inputting the same truth value(s) will always output the same truth value. The typical example is in propositional logic, wherein a compound statement is constructed using individual statements connected by logical connectives; if the truth value of the compound statement is entirely determined by the truth value(s) of the constituent statement(s), the compound statement is called a truth function, and any logical connectives used are said to be truth functional.[2]
Classical propositional logic is a truth-functional logic,[3] in that every statement has exactly one truth value which is either true or false, and every logical connective is truth functional (with a correspondent truth table), thus every compound statement is a truth function.[4] On the other hand, modal logic is non-truth-functional.
^Roy T. Cook (2009). A Dictionary of Philosophical Logic, p. 294: Truth Function. Edinburgh University Press.
^Roy T. Cook (2009). A Dictionary of Philosophical Logic, p. 295: Truth Functional. Edinburgh University Press.
^Internet Encyclopedia of Philosophy: Propositional Logic, by Kevin C. Klement
^Roy T. Cook (2009). A Dictionary of Philosophical Logic, p. 47: Classical Logic. Edinburgh University Press.
In logic, a truthfunction is a function that accepts truth values as input and produces a unique truth value as output. In other words: the input and...
A truth table is a mathematical table used in logic—specifically in connection with Boolean algebra, Boolean functions, and propositional calculus—which...
switching function, used especially in older computer science literature, and truthfunction (or logical function), used in logic. Boolean functions are the...
standard systems of classical logic, these connectives are interpreted as truthfunctions, though they receive a variety of alternative interpretations in nonclassical...
which is unlike the multiplication. Some truthfunctions are noncommutative, since the truth tables for the functions are different when one changes the order...
algebra. Truthfunctions are functions from sequences of truth values to truth values. A unary truthfunction, for example, takes a single truth value and...
by connecting propositions by logical connectives representing the truthfunctions of conjunction, disjunction, implication, biconditional, and negation...
propositions, truth values, or semantic values more generally. In classical logic, negation is normally identified with the truthfunction that takes truth to falsity...
submit it to a "truthfunction", e.g., f(p1): f( NOT("Bob is hurt") AND "This bird is hurt" ), which yields a truth value of "truth". The notion of a...
Corresponding semantics of logical connectives are truthfunctions, whose values are expressed in the form of truth tables. Logical biconditional becomes the equality...
Truth or verity is the property of being in accord with fact or reality. In everyday language, truth is typically ascribed to things that aim to represent...
letter) is an input variable (that can either be true or false) of a truthfunction. Propositional variables are the basic building-blocks of propositional...
[logical-] function, and, if φx ≡ ψx, the substitution of φx for p in a [logical-] function gives the same truth-value to the truth-function as the substitution...
operators and symbols in Unicode Non-logical symbol Polish notation TruthfunctionTruth table Wikipedia:WikiProject Logic/Standards for notation "Named character...
states, and practicing mindfulness and dhyana (meditation). The function of the four truths, and their importance, developed over time and the Buddhist tradition...
NXOR, XAND and pronounced as Exclusive NOR) is a digital logic gate whose function is the logical complement of the Exclusive OR (XOR) gate. It is equivalent...
connectives or Boolean operators is one that can be used to express all possible truth tables by combining members of the set into a Boolean expression. A well-known...
truth table of A → B {\displaystyle A\rightarrow B} : The logical cases where the antecedent A is false and A → B is true, are called "vacuous truths"...
In mathematics and logic, a vacuous truth is a conditional or universal statement (a universal statement that can be converted to a conditional statement)...
elementary algebra in two ways. First, the values of the variables are the truth values true and false, usually denoted 1 and 0, whereas in elementary algebra...
expression. In keeping with the concept of vacuous truth, when conjunction is defined as an operator or function of arbitrary arity, the empty conjunction (AND-ing...
W} abbreviates "it is warm". In classical logic, disjunction is given a truth functional semantics according to which a formula ϕ ∨ ψ {\displaystyle \phi...
{\displaystyle \nleftrightarrow } , and ≢ {\displaystyle \not \equiv } . The truth table of A ⊕ B {\displaystyle A\oplus B} shows that it outputs true whenever...
shown to be truth-functionally complete by the Disjunctive Normal Form Theorem. Bitwise NOR Boolean algebra Boolean domain Boolean function Functional...
conditional (also material implication), a logical connective and binary truthfunction typically interpreted as "If p, then q" Material implication (rule of...
many-valued logic with linearly ordered truth values, cyclic negation is a unary truthfunction that takes a truth value n and returns n − 1 as value if...