Lógicas dos Predicados

• Árvores de Refutação

?x P(x) ? ?x G(x), ? ?x G(x)

? ?x P(x)

1. ?x P(x) ? ?x G(x)

2. ? ?x G(x)

3. ?x P(x)

A árvore de refutação está COMPLETA,

isto é, com todos os ramos fechados,

logo, a busca de uma refutação para o

argumento de negar a conclusão falhou,

pois só encontrou CONTRADIÇÕES, e

portanto, a FORMA É VÁLIDA.

?

4. ? ?x P(x) 1? ?x G(x) 1?

5. X 3,4 ? X 2,4 ?

Slide anterior

Slide seguinte

Voltar para o primeiro slide

Exibir versão do elemento gráfico