Universidade
Faculdade de Ciências e Tecnologia – FATEC
Estrutura de Dados – Prof.

Aluno

Árvores de Refutação

Cidade, Data.

Introdução
Árvore de refutação é um método para verificar a validade de um argumento, análogo à demonstração por absurdo. Para testarmos a validade de um argumento, construímos uma lista de fórmulas consistindo em suas premissas.

Já imaginou tentar examinar a validade de um argumento com oito variáveis proposicionais (que corresponderia a um inspetor de circunstâncias com 256 linhas)? Seria certamente uma tarefa pouca prática, demasiado fastidiosa e morosa… Por isso, será que existem outros métodos na lógica proposicional clássica para se testar a validade dos argumentos? Um método diferente, bastante simples e rápido, para examinar a validade dos argumentos é o método das árvores de refutação, também designado por árvores lógicas ou por demonstrações em árvore (tree proofs). A principal característica deste método é proceder por redução ao absurdo (em que se nega uma proposição que se quer provar mostrando, por conseguinte, que isso dá origem a uma inconsistência ou absurdo). Assim, o primeiro passo, quando temos uma determinada forma lógica, é negar a conclusão e juntá-la às premissas. Seguidamente procura-se analisar se o conjunto de proposições (as premissas e a negação da conclusão) é inconsistente ou não. Se for inconsistente, então a forma lógica do argumento é válida. Se não for inconsistente, então a forma