Semántica Modelo-Teórica en Lenguajes de Primer Orden

¿Qué es la semántica modelo-teórica?

La semántica modelo-teórica es la semántica propia de los lenguajes de primer orden (LPO). La semántica característica de un lenguaje de enunciados es veritativo-funcional, es decir, una semántica que se construye a partir de funciones veritativas, los valores semánticos posibles de las expresiones lógicas, y de valores de verdad, los valores posibles de las sentencias o enunciados.

Decir que la (más…)