Template:Individual-TLP-paragraph-en-6.1221
6.1221 If for example two propositions “p” and “q” give a tautology in the connexion “p ⊃ q”, then it is clear that “q” follows from “p”.
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.