truth-function

(redirected from Truth function)
Also found in: Wikipedia.

truth-func·tion

(tro͞oth′fŭngk′shən)
n. Logic
A compound proposition, such as a conjunction or negation, whose truth-value is always determined by the truth-values of the components.
American Heritage® Dictionary of the English Language, Fifth Edition. Copyright © 2016 by Houghton Mifflin Harcourt Publishing Company. Published by Houghton Mifflin Harcourt Publishing Company. All rights reserved.

truth-function

n
1. (Logic) a function that determines the truth-value of a complex sentence solely in terms of the truth-values of the component sentences without reference to their meaning
2. (Logic) a complex sentence whose truth-value is so determined, such as a negation or conjunction
Collins English Dictionary – Complete and Unabridged, 12th Edition 2014 © HarperCollins Publishers 1991, 1994, 1998, 2000, 2003, 2006, 2007, 2009, 2011, 2014
References in periodicals archive ?
* The boundaries of the truth function of [??] are : [mathematical expression not reproducible] are respectively called left boundary and right boundary for truth function of [??].
Then the semantic value of A must be a function from pairs of truth values to truth values--that is, a truth function. Suppose, on the other hand, that the semantic value of a sentence is a set of possible worlds.
The stereotypes, in cartoon form, are hard-nosed, rigidly rational analysis of truth function in a rule-bound methodological context against playful, tricksy, overly intellectual, usually French textual charlatanism masquerading as metaphysics.
The goal is, in characterizing admissibility, to give some explanation of why an assignment which, for instance, assigns the classical truth function for conjunction to the concept of alternation is not an admissible assignment.
We know the fact that in case of neutrosophic set there is no restriction on truth function, indeterminacy function and falsity function other than they are subsets of ] [0.sup.-], [1.sup.+] [, thus; 0- [less than or equal to] Inf [mu] + Inf [sigma] + Inf v < Sup [mu] + Sup [sigma] + Sup v [less than or equal to] [3.sup.+].
As a result, it cannot be represented through a truth function as it is the case of material implication.
The semantic value for and might be that truth function which makes the classical elimination and introduction rules for and truth-preserving for all assignments of conjuncts.
Although they present the same truth function, they present it in different ways; a proposition asserting the equivalence of a conjunction and its Sheffer stroke counterpart is potentially informative.
Pictures and truth functions, she argued, are one and the same.
The entire endeavor on liberty and truth has, in fact, a precise scope: to show, in a rigorous and precise manner, that in existence (mine, yours, theirs), or here and now, the problem of liberty and truth functions as tasks and, above all, as challenges were truth has meaning only in liberty, or, were truth does not lose its existential character.
As before, other truth functions can be treated similarly.
Boole (1815-1864) that define a new branch of mathematics based on a couple of truth functions (future operators) defined on a set made by only two values: true and false (0 and 1).