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

6.1203 Para reconhecer uma tautologia como tal, nos casos em que na tautologia não aparece qualquer designação da generalidade, é possível utilizar o seguinte método intuitivo: em vez de “p”, “q”, “r”, etc., escrevo “VpF”, “VqF”, “VrF”, etc. As combinações de verdade são expressas por chaves:

e a coordenação da verdade ou da falsidade da proposição total e as combinações de verdade dos argumentos de verdade, por meio de traços, do modo seguinte:

Êste signo representaria, por exemplo, a proposição “p ⊃ q”. Vou verificar, por exemplo, se a proposição ∼(p . ∼p) (lei da contradição) é uma tautologia. A forma “∼ξ” será escrita em nossa notação:

A forma “ξ . η”:

De modo que a proposição ∼(p . ∼q) será:

Em lugar de “q” coloquemos “p” e examinemos a conexão dos V e F mais exteriores com os mais interiores; logo verificamos que a verdade da proposição total coordena-se com tôdas as combinações de verdade de seus argumentos, enquanto que sua falsidade, com nenhuma das combinações de verdade.