Template:Individual-TLP-paragraph-it-6.1201

6.1201 Che ad es. le proposizioni «p» e «~p», nel collegamento «~(p . ~p)», diano una tautologia mostra che esse si contraddicono l'un l'altra. Che le proposizioni «p ⊃ q», «p» e «q», collegate tra di loro nella forma «(p ⊃ q) . (p) : ⊃ : (q)», diano una tautologia mostra che q segue da p e p ⊃ q. Che «(x) . f x : ⊃ : f a» sia una tautologia [mostra] che f a segue da (x) . f x, ecc. ecc.