Template:Individual-TLP-paragraph-en-4.442
4.442 Thus e.g.
“
| p | q | |
|---|---|---|
| T | T | T |
| F | T | T |
| T | F | |
| F | F | T |
”
is a propositional sign.
(Frege’s assertion sign “[math]\displaystyle{ \vdash }[/math]” is logically altogether meaningless; in Frege (and Russell) it only shows that these authors hold as true the propositions marked in this way.
“[math]\displaystyle{ \vdash }[/math]” belongs therefore to the propositions no more than does the number of the proposition. A proposition cannot possibly assert of itself that it is true.)
If the sequence of the truth-possibilities in the schema is once for all determined by a rule of combination, then the last column is by itself an expression of the truth-conditions. If we write this column as a row the propositional sign becomes: “(TT–T) (p, q)” or more plainly: “(TTFT) (p, q)”.
(The number of places in the left-hand bracket is determined by the number of terms in the right-hand bracket.)