2.1.Qué es la semántica modelo-teórica. (Has de indicar qué es una posible realización y el tipo de valor semántico que le corresponde a los distintos tipos de expresiones del lenguaje) Puedes indicar también que se trata de una teoría semántica extensional, distinguirla de la veritativo-funcional,..

La semántica modelo-teórica es la semántica propia de los lenguajes de primer orden.
La semántica carácterística de un lenguaje de enunciados es VERITATIVO FUNCIONAL, es decir, una semántica Sigue leyendo →