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