Estruturas Interpretativas

Seja um conjunto de fórmulas. Listemos todos os símbolos de predicados, símbolos de funções e constantes que ocorrem em alguma fórmula de :

Símbolos de predicados:

Símbolos de funções:

Constantes: .

Então é uma estrutura interpretativa para se

i)

é um conjunto não vazio. Chama-se-lhe universo de S.

ii)

Se é um símbolo de predicado n-ário então é um subconjunto de , isto é,

[Isto é equivalente a dizer que é um predicado n-ário em ].

iii)

Se é um símbolo de função de n variáveis, então é uma função de em , isto é,

iv)

Se é uma constante, então .