truth function

<logic> an operator in a logical language (sentence, logic) is said to be truth functional iff the truth value of a proposition in which it appears is wholly determined by the truth value of the subsiduary 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. non-truth-functional conjunction, dagger function, disjunction, equivalence, implication, negation, stroke function

[A Philosophical Glossary]

<2001-06-05>

Try this search on OneLook / Google


Nearby terms: Trotsky Leon - Lev Davidovich Bronstein « truth « truth for an interpretation « truth function » truth-functional compound proposition » truth-functional connective » truth-functional propositional logic