Interpretación

Una interpretación I de un lenguaje de 1er orden L es: - un conjunto Ui no vacío (universo de la interpretación) - para cada c símbolo de cte, un elemento ci∈Ui - para cada fk símbolo de función, una funció n fik:Uik->Ui - para cada Pk símbolo de predicado, una relación Pik⊆Uik I=<Ui, {ci}, {fik}, {Pik}>