siguiente anterior arriba atrasadelante (solo si previamente se ha ido atras)

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

siguiente
anterior arriba atrasadelante (sólo si previamente se ha ido atras)

algunos derechos reservados DIT-ETSIT-UPM
Portada