En matemáticas y lógica una interpretación es una aplicación desde un conjunto de fórmulas o axiomas, en un modelo que es un conjunto en el que se ha definido una estructura. En otras palabras una interpretación es una construcción más concreta que satisface ciertas reglas o axiomas.
Una condición de consistencia de un conjunto de axiomas o fórmulas es que dicho conjunto admita una interpretación, es decir, que las fórmulas sean realizables/interpretable en un conjunto efectivamente construible.
Verified answer
Respuesta:
En matemáticas y lógica una interpretación es una aplicación desde un conjunto de fórmulas o axiomas, en un modelo que es un conjunto en el que se ha definido una estructura. En otras palabras una interpretación es una construcción más concreta que satisface ciertas reglas o axiomas.
Una condición de consistencia de un conjunto de axiomas o fórmulas es que dicho conjunto admita una interpretación, es decir, que las fórmulas sean realizables/interpretable en un conjunto efectivamente construible.
Explicación paso a paso:
medas coronita pliss