HOME TOP UP PREV NEXT GERMAN MAP      Tractatus Logico-Philosophicus 5.1311

5.1311

When we conclude from p v q and ~p to q the relation between the forms of the propositions "p v q" and "~p" is here concealed by the method of symbolizing. But if we write, e.g. instead of "p v q" "p | q .|. p | q" and instead of "~p" "p | p" (p | q = neither p nor q), then the inner connexion becomes obvious.

(The fact that we can infer fa from (x) . fx shows that generality is present also in the symbol "(x) . fx".

HOME TOP UP PREV NEXT GERMAN MAP      Tractatus Logico-Philosophicus 5.1311