4.3 Semántica

4.3. Semántica

Como en lógica de proposiciones (Apartado 3.3), para definir la sematica nos apoyamos en los conceptos de interpretación y satisfacción, pero ahora tenemos que añadir el de asignación, que consiste en «dar valores» a las variables y, en general, a los términos.

  4.3.1 Interpretación y asignación
    Asignación de términos
  4.3.2 Satisfacción
  4.3.3 Inconsistencia, validez y tautologías
  4.3.4 Modelos

DIT-ETSIT-UPM

Portada