Lógicas dos Predicados
Regras para Árvore de Refutação do Cálculo de Predicados
- 4. Quantificação Existencial (?):
- Se uma fórmula bem formada não ticada da forma ?ßØ aparece num ramo aberto, tica-se a fórmula e escolhe-se uma letra nominal ? QUE NÃO APARECEU NAQUELE RAMO e ESCREVE-SE Ø? / ß (o resultado de se substituir todas as ocorrências ß em Ø por ?) no final do ramo.
A fórmula testada é INVÁLIDA POR HAVER RAMOS ABERTOS (linha 5)