LAS TABLAS DE VERDAD.
Una vez que hemos formalizado una proposición resulta mucho más fácil operar con ella. Lo primero que podemos hacer con ella es averiguar en qué casos es verdadera y en qué casos no.
La Semántica es aquella parte del lenguaje que se ocupa de la relación entre los símbolos y su significado, pero ya dijimos que a la Lógica no le interesa el significado empírico de las proposiciones; lo único que le interesa de su significado es su valor veritativo: su verdad o falsedad.