Lógicas das Proposições
Árvores de Refutação
- São uma outra maneira de garantir a decidibilidade da Lógica Proposicional.
- REGRAS PARA ÁRVORE DE REFUTAÇÃO
1. Inicia-se colocando-se as PREMISSAS e a NEGAÇÃO DA CONCLUSÃO.
(A idéia é encontrar contradições de modo a poder concluir a validade da conclusão.)
2. Aplica-se repetidamente uma das regras a seguir:
2.1. Negação (?): Se um ramo aberto contém uma fórmula e sua negação, coloca-se um “X” no final do ramo, de modo a representar um ramo fechado.
(um ramo termina se ele se fecha ou se as fórmulas que ele contém são apenas fórmulas-atômicas ou suas negações, tal que mais nehuma regra se aplica às suas fórmulas. Desta forma tem-se um ramo fechado, que é indicado por um X, enquanto o ramo aberto não é representado por um X.)