A proposition is a truth-function of elementary propositions. ❋ Biletzki, Anat (2009)
To make matters explicit, the earlier discussed truth-function ¨ is called inclusive, or non-exclusive or 1110 disjunction. ❋ Jennings, Ray (2008)
This truth-function is referred to variously as exclusive disjunction, as 0110 disjunction ❋ Jennings, Ray (2008)
Disjunction is a binary truth-function, the output of which is a sentence true if at least one of the input sentences (disjuncts) is true, and false otherwise. ❋ Jennings, Ray (2008)
Thus, classically, disjunction is semantically interpreted as a binary truth-function from the set of pairs of truth-values to the set {0, 1}. ❋ Jennings, Ray (2008)
The truth-function 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. ❋ Unknown (2003)
Russell used the phrase "molecular proposition" for those propositions that are compounded using truth-function operators. ❋ Klement, Kevin (2005)
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 truth-function of (non-modal) observation statements. ❋ Bird, Alexander (2004)
A factual proposition is a truth-function of the propositions which occur in its analysis. ❋ Pears, D.F. (1969)
These two further types of truth-function lack factual sense, because considered as messages they are self-cancelling. ❋ Pears, D.F. (1969)
Now there are two other types of truth-function besides factual propositions. ❋ Pears, D.F. (1969)
The first idea is that a factual proposition is a truth-function of the propositions which occur at any stage in its analysis, whether it be the final stage or not; the second idea is that the connection between a proposition and its analysis — sameness of meaning — will be expressed in an a priori philosophical proposition; and the third idea is that all a priori propositions lack factual sense. ❋ Pears, D.F. (1969)
(An elementary proposition is a truth-function of itself.) 5.01 Elementary propositions are the truth-arguments of propositions. ❋ Ludwig Wittgenstein (1920)
It is of the essence of truth-operations that, just as elementary propositions yield a truth-function of themselves, so too in the same way truth-functions yield a further truth-function. ❋ Ludwig Wittgenstein (1920)
And it is easy to see that the propositional sign in 4.442 expresses a single truth-function of elementary propositions even when 'p' and 'q' are truth-functions of elementary propositions. ❋ Ludwig Wittgenstein (1920)
(These operations I call truth-operations.) 5.2341 The sense of a truth-function of p is a function of the sense of p. Negation, logical addition, logical multiplication, etc.etc. are operations. ❋ Ludwig Wittgenstein (1920)
When a truth-operation is applied to truth-functions of elementary propositions, it always generates another truth-function of elementary propositions, another proposition. ❋ Ludwig Wittgenstein (1920)
The general form of a truth-function is [p, E, N (E)]. ❋ Ludwig Wittgenstein (1920)
A truth-operation is the way in which a truth-function is produced out of elementary propositions. ❋ Ludwig Wittgenstein (1920)