![atras](izda.png)
![adelante (solo si previamente se ha ido atras)](dcha.png)
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.
![atras](izda.png)
DIT-ETSIT-UPM