Template:Individual-TLP-paragraph-it-6.1221
6.1221 Se ad es. da due proposizioni «p» e «q» nel collegamento «p ⊃ q» risulta una tautologia, allora è chiaro che q segue da p.
Vediamo ad es. che «q» segue da «p ⊃ q . p» da queste due proposizioni stesse, ma possiamo mostrarlo anche così: collegandole in «p ⊃ q . p :⊃:q» e mostrando ora che questa è una tautologia.