Um conjunto de proposições A é consistente se e somente se existe pelo menos uma atribuição de valores de verdade às sentenças básicas das sentenças de A segundo a qual todas as sentenças de A são verdadeiras. Caso contrário ele é inconsistente.
Ademais, pode-se provar que se A é inconsistente toda proposição é dedutível dele. Além disso, tudo é dedutível de A de maneira válida, portanto.
Em suma, qualquer conclusão é correta quando o conjunto de premissas não faz sentido. E isso ocorre mais de forma mais comum do que se pode esperar.
Nenhum comentário:
Postar um comentário