estudio de las relaciones formales entre las expresiones. Al vocabulario, a las reglas de formación y a los axiomas/reglas de inferencia de un sistema se les llama la sintaxis del sistema.
(Haack, 1978).
Mostrando entradas con la etiqueta Sintaxis Lenguaje formal. Mostrar todas las entradas
Mostrando entradas con la etiqueta Sintaxis Lenguaje formal. Mostrar todas las entradas
INTERPRETACIÓN (DE UN SISTEMA FORMAL): 🔎
un conjunto, (el domino D), y una función que asigna elementos de D a términos singulares, n-tuplos de D a predicados n-prosicionales, y funciones con n-tuplos de elementos de D como argumento y elementos de D como valor, a símbolos de función.
(Haack, 1978).
En lógica, una interpretación semántica es asignar significados a las variables que constituyen las fbf de L. Como los lenguajes formales pueden definirse en términos puramente sintácticos, sus fbf pueden no ser más que cadenas de símbolos sin ningún significado. Una interpretación otorga significado a esas fórmulas.
El estudio general de las interpretaciones de los lenguajes formales se llama semántica formal.
Una interpretación muchas veces (pero no siempre) permite determinar el valor de verdad de las fbf de L. Si una interpretación asigna el valor de verdad verdadero a una fórmula o a varias fórmulas, entonces se dice que la interpretación es un modelo de esa fórmula o de esas fórmulas. (Wikipedia).
(Haack, 1978).
En lógica, una interpretación semántica es asignar significados a las variables que constituyen las fbf de L. Como los lenguajes formales pueden definirse en términos puramente sintácticos, sus fbf pueden no ser más que cadenas de símbolos sin ningún significado. Una interpretación otorga significado a esas fórmulas.
El estudio general de las interpretaciones de los lenguajes formales se llama semántica formal.
Una interpretación muchas veces (pero no siempre) permite determinar el valor de verdad de las fbf de L. Si una interpretación asigna el valor de verdad verdadero a una fórmula o a varias fórmulas, entonces se dice que la interpretación es un modelo de esa fórmula o de esas fórmulas. (Wikipedia).
Suscribirse a:
Entradas (Atom)