Truth-function
Truth-function
is either (1) a function (q.v.) from propositions to propositions such that the truth-value of the value of the function is uniquely determined by the truth-values alone of the arguments; or (2) simply a function from truth-values to truth-values. — A.C.