Lógicas das Proposições
Tabelas Verdade
- Elas fornecem um teste rigoroso e completo para a validade ou invalidade de formas de argumento da lógica proposicional, além de se constituir em um algoritmo. Quando existe um algoritmo que determina se as formas de argumento expressáveis em um sistema formal são válidas ou não, esse sistema é dito DECIDÍVEL. Desta forma, elas garantem a decidibilidade da lógica proposicional.
- Uma forma de argumento é válida se e somente se todas as suas instâncias são válidas.
- Uma instância de uma forma é válida se é ímpossível que a sua conclusão seja falsa enquanto as suas premissas são verdadeiras.
- Se a forma for válida, então qualquer instância dela deve ser igualmente válida. Daí podemos utilizar a Tabela-Verdade para estabelecer a validade não só de argumentos, mas também de argumentos específicos.