Tractatus

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: