Lógicas dos Predicados

• Regras para Árvore de Refutação do Cálculo de Predicados

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

G(a)

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

2. ?x P(x)

3. ? G(a)

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

5. P(a) 2?

?

6. ? P(a) 4? G(a) 4?

7. X 5,6 ? X 3,6 ?

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.

Slide anterior

Slide seguinte

Voltar para o primeiro slide

Exibir versão do elemento gráfico