Lógicas dos Predicados
Regras para Árvore de Refutação do Cálculo de Predicados
- 1. Quantificação Universal (?):
- Se uma fórmula bem formada do tipo ? ß Ø aparece num ramo aberto e se ? é uma constante (ou letra nominal) que ocorre numa fbf naquele ramo, então ESCREVE-SE Ø? / ß (o resultado de se substituir todas as ocorrências ß em Ø por ?) no final do ramo.
- Se nehuma fbf contendo uma letra nominal aparece no ramo, então escolhemos uma letra nominal ? e ESCREVE-SE Ø? / ß no final do ramo.
- Em cada caso, NÃO TICAMOS ? ß Ø.