Template:Individual-TLP-paragraph-pt-br-6.126

6.126 É possível calcular se uma proposição pertence à lógica calculando as propriedades lógicas do símbolo.

E é o que fazemos ao “provar” uma proposição lógica. Porquanto, sem nos preocuparmos com o sentido e a denotação, formamos a proposição lógica a partir de outras meramente segundo as regras dos signos.

A prova das proposições lógicas consiste em fazermos com que sejam geradas a partir de outras proposições lógicas graças à aplicação sucessiva de certas operações, que das primeiras tautologias reproduzem outras. (E, com efeito, de uma tautologia seguem-se apenas tautologias.)

Êste modo de mostrar que suas proposições são tautologias é, sem dúvida, para a lógica, inteiramente inessencial. Exatamente porque as proposições de que parte a prova já devem mostrar, sem prova, que são tautologias.