Template:Individual-TLP-paragraph-es-6.126

6.126 Si una proposición pertenece a la lógica se puede calcular en tanto que se calculen las cualidades lógicas del símbolo. Y esto hacemos cuando «demostramos» una proposición lógica. Pues, sin preocuparnos por un sentido y un significado, construimos la proposición lógica a partir de otra mediante meras reglas de signos.

La prueba de las proposiciones lógicas consiste en que las podemos hacer surgir a partir de otras proposiciones lógicas mediante aplicaciones sucesivas de ciertas operaciones, que a partir de la primera producen siempre tautologías. (Y, a decir verdad, a partir de una tautología solo se siguen tautologías).

Naturalmente es esta forma de mostrar que sus proposiciones son tautologías completamente insignificantes para la lógica. Precisamente porque las proposiciones de las cuales parte la prueba, deben mostrar incluso sin prueba, que son tautologías.