Template:Individual-TLP-paragraph-it-6.126

6.126 Si può calcolare se una proposizione appartiene alla logica calcolando le proprietà logiche del simbolo.

E questo facciamo quando «dimostriamo» una proposizione logica. Poiché, senza occuparci di un senso e di un significato, formiamo la proposizione logica a partire da altre secondo semplici regole segniche.

La dimostrazione delle proposizioni logiche consiste nel fatto che le facciamo risultare da altre proposizioni logiche attraverso l'applicazione successiva di certe operazioni che, a partire dalle prime, generano sempre di nuovo tautologie. (In effetti da una tautologia seguono solo tautologie.)

Naturalmente questo modo di mostrare che le sue proposizioni sono tautologie è perfettamente inessenziale alla logica, non fosse che perché le proposizioni da cui parte la dimostrazione devono mostrare, senza alcuna dimostrazione, di essere tautologie.