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


6.1221
If for example two propositions "p" and "q" give a tautology in the connexion "p  HOOK  q", then it is clear that q follows from p.

E.g. that "q" follows from "p  HOOK  q . p" we see from these two propositions themselves, but we can also show it by combining them to "p  HOOK  q . p : HOOK q" and then showing that this is a tautology.


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