HOME TOP UP PREV NEXT 1 2 3 GERMAN MAP Tractatus Logico-Philosophicus 5.50
(Thus if has the 3 values P, Q, R, then () = (P, Q, R).)
The values of the variables must be determined.
The determination is the description of the propositions which the variable stands for.
How the description of the terms of the expression in brackets takes place is unessential.
We may distinguish 3 kinds of description: 1. Direct enumeration. In this case we can place simply its constant values instead of the variable. 2. Giving a function fx, whose values for all values of x are the propositions to be described. 3. Giving a formal law, according to which those propositions are constructed. In this case the terms of the expression in brackets are all the terms of a formal series.
N() is the negation of all the values of the propositional variable .