4.442
Thus e.g.
| “ | p | q | ||
|---|---|---|---|---|
| T | T | T | ||
| F | T | T | ||
| T | F | |||
| F | F | T | ” |
(Frege’s assertion sign “⊢” is logically altogether meaningless; in Frege (and Russell) it only shows that these authors hold as true the propositions marked in this way. “⊢” 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.)