HOME TOP UP PREV NEXT GERMAN MAP Tractatus Logico-Philosophicus 6.1221
E.g. that "q" follows from "p q . p" we see from these two propositions themselves, but we can also show it by combining them to "p q . p :: q" and then showing that this is a tautology.
HOME TOP UP PREV NEXT GERMAN MAP Tractatus Logico-Philosophicus 6.1221