truthfunctional
Truthfunctional describes a property of logical systems in which the truth value of any composite expression is determined entirely by the truth values of its immediate parts, via a fixed truth function. Formally, a propositional connective is truth-functional if there exists a truth table that specifies the output truth value for every possible combination of input truth values.
Common truth-functional connectives include conjunction (and), disjunction (or), negation (not), implication (if...then), and biconditional (if and
Classical propositional logic uses a fully truth-functional semantics, assigning truth values to atomic propositions and computing
Some logics and linguistic theories treat certain operators as non-truth-functional, in that the truth of a
Truth-functionality underpins Boolean algebra and the design of digital circuits and programming language semantics, offering a