Interpretações em Lógica de Primeira Ordem

Uma interpretação de uma fórmula em lógica de primeira ordem é o estabelecimento de uma correspondência entre as várias constantes que ocorrem na fórmula e os objectos do mundo, funções e relações que essas constantes representam.

Exemplo:

  • Objectos: A, B, C, Chão.

  • Funções: nenhuma.

  • Relações:

    • Em_cima_de: { <B,A>, <A,C>, <C,Chão> }

    • Livre: { }

  • Assumindo o estado dado pela figura, esta interpretação constitui um modelo.

Last updated