An operator in a logical language (see sentence logic) is said to be truth functional if and only if the truth value of a proposition in which it appears is wholly determined by the truth value of the subsidiary propositions on which it operates. e.g. The truth value of p&q is wholly determined once we know the truth value of p and the truth value of q; hence the operator, &, is truth functional. See non-truth-functional.