Lógicas dos Predicados

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

  • 3. Quantificação Universal Negada (? ?):
    • Se uma fórmula bem formada não ticada da forma ?? ßØ aparece num ramo aberto, tica-se a fórmula e ESCREVE-SE ?ß? Ø no final de cada ramo aberto que contém a fbf ticada.

?x (?y P(x,y))

1. ?x (?y P(x,y))

2. ??x (?y P(y,x))

3. ?y P(a,y) 1 ?

4. ?x (? ?y P(y,x)) 2 ??

5. ? ?y P(y,b) 4 ?

6. ?y ? P(y,b) 5 ? ?

7. ? P(a,b) 6 ?

8. P(a,b) 3 ?

9. X 7,8 ?

?

?

?x (?y P(y,x))

?

?

A fórmula testada é válida

Slide anterior

Slide seguinte

Voltar para o primeiro slide

Exibir versão do elemento gráfico