Lógicas dos Predicados

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

  • 5. Identidade Negada (?=):
    • Fechamos qualquer ramo aberto no qual uma fbf do tipo ? (? = ?) ocorra.

a = b

1. a = b

2. ? (b = a)

3. ? (a = a) 1,2 =

4. X 3 ? =

?

b = a

A fórmula testada é válida

Slide anterior

Voltar para o primeiro slide

Exibir versão do elemento gráfico