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.