Lógicas dos Predicados
Árvores de Refutação
- São uma generalização da técnica utilizada na Lógica Proposicional.
- A técnica de árvore de refutação generalizada incorpora as regras da lógica proposicional e acrescenta 6 novas regras para inferir em sentenças que contém quantificadores e o predicado de identidade.
- Algumas árvores do cálculo dos predicados empregam somente as regras do cálculo proposicional.
- NO CÁLCULO DE PREDICADOS, AS ÁRVORES DE REFUTAÇÃO NÃO APRESENTAM UMA LISTA COMPLETA DE CONTRA-EXEMPLOS, MAS SIM, UM “MODELO DE UNIVERSO” QUE CONTÉM EXATAMENTE OS OBJETOS MENCIONADOS PELO NOME NO RAMO.