Uno de los problemas habituales de los alumnos de 1º de Bachillerato es la interpretación del CONDICIONAL y su tabla de verdad:
p q si p, entonces q
____________________
V V V
V F F
F V V
F F V
Trataremos de explicar la tabla, siguiendo las aclaraciones de César Tejedor y Carlos Díaz: Los primeros casos parecen bastante evidentes. Pues la proposición: "Si hay elecciones, habrá cambio de gobierno" es verdadera si son verdaderos el antecedente y el consecuentie, y falsa si es falso el consecuente. Pero si el antecedente es falso -dado que se le considera condición suficiente, pero no necesaria-, es perfectamente posible que el consecuente, sin embargo, sea verdadero, por lo cual la proposición condicional no sería falsa, sino verdadera (porque en lógica formal no hay más que dos valores: verdadero o falso). Lo mismo sucede en el caso de que el antecedente y el consecuente sean falsos: ello no hace necesariamente falsa la posición condicional considerada por sí misma, en abstracto, luego hay que conceder que es verdadera. Por lo demás, condicionales de este tipo se hacen a veces también en el lenguaje ordinario; por ejemplo: "Si tú eres Salomón, yo soy la reina de Saba".
Esta interpretación del condicional choca con el uso ordinario del lenguaje. Según ella, son verdaderas proposiciones como: "Si Napoleon era inglés, entonces Agustina de Aragón era española", "Si el Sol es un planeta, entonces Wiston Churchill ganó la batalla de Trafalgar" o "Si la Luna es un planeta, entonces Alcalá Zamora fue el primer presidente de la República". Ahora bien, de todas estas proposiciones dudaríamos en decir que son verdaderas en el lenguaje ordinariio, y nos parecen como carentes de sentido. La razón es que el condicional del lenguaje ordinario generalmente no se limita a enunciar la existencia de un lazo condicional, sino también que entre los hechos descritos por el antecedente y el consecuente existen muchas relaciones de causalidad, dependencia, etc. en la vida real. Estos supuestos ímplícitos en el enunciado condicional del lenguaje ordinario es un contenido que no puede ser traducido al lenguaje frmal de la lógica. La lógica formal no se interesa por el contenido de las proposiciones, sino por las relaciones formales entre ellas; en este caso por la relación estricta de condicionalidad, expresada en la tabla de verdad. Por tanto, en lógica el condicional no significa lo mismo que en el lenguaje ordinario, donde todo depende de un contexto.
En definitiva, igual que un ser humano es mucho más que su esqueleto, también el lenguaje natural es mucho más rico y variado que su "esqueleto lógico formal"; pero sin ese esqueleto, no hay ni hombre, ni lenguaje.