Lógicas dos Predicados
Regras para Árvore de Refutação do Cálculo de Predicados
- 5. Identidade (=):
- Se uma fórmula do tipo ? = ß aparece num ramo aberto e se uma outra fbf Ø contendo ? ou ß aparece não ticada naquele ramo, então escrevemos no final do ramo qualquer fbf que não esteja no ramo, que é o resultado de se substituir uma ou mais ocorrências de qualquer uma dessas letras nominais pela outra em Ø.
- Não se tica ? = ß nem Ø.
3. ? (P(a,a) ? P(a,a)) 1,2 =
A fórmula testada é válida