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