Definitions
from The American Heritage® Dictionary of the English Language, 4th Edition
 n. Logic A compound proposition, such as a conjunction or negation, whose truthvalue is always determined by the truthvalues of the components.
Etymologies
Sorry, no etymologies found.
Examples

A proposition is a truthfunction of elementary propositions.

To make matters explicit, the earlier discussed truthfunction ¨ is called inclusive, or nonexclusive or 1110 disjunction.

Disjunction is a binary truthfunction, the output of which is a sentence true if at least one of the input sentences (disjuncts) is true, and false otherwise.

This truthfunction is referred to variously as exclusive disjunction, as 0110 disjunction

Thus, classically, disjunction is semantically interpreted as a binary truthfunction from the set of pairs of truthvalues to the set {0, 1}.

The truthfunction of Chomsky's work is neutralized because there are people who will participate in actions leading to death and worse all over the world and then tell you about it.

Russell used the phrase "molecular proposition" for those propositions that are compounded using truthfunction operators.

Secondly, theories generate dispositional statements (e.g. about the solubility of a substance, about how they would appear if observed under certain circumstances, etc.), and dispositional statements, being modal, are not equivalent to any truthfunction of (nonmodal) observation statements.

Now there are two other types of truthfunction besides factual propositions.
A Special Supplement: The Development of Wittgenstein's Philosophy

A factual proposition is a truthfunction of the propositions which occur in its analysis.
A Special Supplement: The Development of Wittgenstein's Philosophy
Wordnik is becoming a notforprofit! Read our announcement here.
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.