Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes.
Cuando, en breve, se analice un método para determinar la validez de razonamientos deductivos desde la perspectiva de la lógica matemática, se pondrá de relieve la importancia de ciertas frases o palabras. Estas son las expresiones lógicas o términos lógicos, y representan lo que se llamará “constantes lógicas”.
En lo que sigue vamos a enumerar y clasificar estas expresiones lógicas y sentar las bases de un simbolismo para representarlas, con el que se puede desarrollar un lenguaje lógico. Si se retoman los ejemplos ya analizados al presentar el concepto de razonamiento, se pueden encontrar en ellos expresiones lógicas. Así, en
1.- Todos los planetas giran alrededor del sol
2-Marte es un planeta
3-Marte gira alrededor del sol
aparece la palabra “todos” en la primera premisa. En el siguiente ejemplo
1-Si la temperatura de la superficie terrestre aumenta, entonces la precipitación pluvial aumenta y el nivel de los mares se eleva.
2- La temperatura de la superficie terrestre está aumentando.
3-El nivel de los mares se eleva.
se expresa en la primera premisa una condición con el término “si”. La segunda premisa afirma que se da la condición indicada en la primera premisa. De aquí que se pueda inferir lo que está condicionado. Esta frase “si ..., entonces..”, también cumple una función lógica; es una expresión lógica. En el razonamiento
