the form "ξ . η" thus : —
Hence the proposition ~(p . ~ q) runs thus:—
If here we put "p" instead of "q" and examine the combination of the outermost T and F with the innermost, it is seen that the truth of the whole proposition is co-ordinated with all the truth-combinations of its argument, its falsity with none of the truth-combinations.
6.121 The propositions of logic demonstrate the logical properties of propositions, by combining them into propositions which say nothing.
This method could be called a zero-method. In a logical proposition propositions are brought into equilibrium with one another, and the state of equilibrium then shows how these propositions must be logically constructed.
6.122 Whence it follows that we can get on without logical propositions, for we can recognize in an adequate notation the formal properties of the propositions by mere inspection.
