sexta-feira, setembro 23, 2005

Curiosidade

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: