3.3.
Semántica
La semántica de un lenguaje establece, como sabemos (Apartado 2.4.2), una
correspondencia entre las construcciones del lenguaje y los objetos que designan. En
este caso, entre las sentencias del cálculo de proposiciones y los elementos de la
conceptuación. Es lo que hemos llamado interpretación (declarativa, Figura 2.6).
Además, está la atribución del valor «verdadero»
o «falso»
a una sentencia, lo que se formaliza con la función de evaluación y la noción de
satisfacción.
DIT-ETSIT-UPM