¿Alguna vez te prometieron que si terminabas tus deberes habría una recompensa, pero al final la situación terminó en un debate? ¿Sabías que las matemáticas pueden definir exactamente quién tiene la razón absoluta?

En este quinto episodio de Antes del Teorema, el podcast de matemáticas para estudiantes y mentes curiosas, descubrimos cómo nuestro lenguaje cotidiano esconde las estrictas reglas de la lógica proposicional. Dejamos de lado los cálculos numéricos para explorar cómo diferenciar una mentira de una verdad a medias, traduciendo acuerdos diarios —como promesas de pizza tras una sesión de estudio o préstamos de libros en la biblioteca— a estructuras matemáticas exactas. Hoy desglosamos los conectores lógicos que forman el verdadero esqueleto de las demostraciones formales.

En este episodio analizaremos:

• Qué es exactamente una proposición y cómo se le asigna un valor de verdad.

• Cómo funcionan los conectores lógicos de Conjunción ("y") y Disyunción ("o").

• La trampa de la Implicación ("Si... entonces") y el misterioso cumplimiento "por vacuidad".

• El método infalible para traducir acuerdos, debates y promesas a una estructura matemática sin dobles interpretaciones.

🎧 Apoya el proyecto: Si este análisis te ayudó a ver el poder del lenguaje bajo una nueva luz, suscríbete, comparte y califícanos con 5 estrellas. ¡Ayuda muchísimo a que la comunidad siga creciendo!

📚 Referencias:

Suppes, P., & Hill, S. (1988). Introducción a la lógica matemática. Editorial Reverté.

Amor Montaño, J. A. (2005). Lógica proposicional dentro de la lógica de primer orden. Las Prensas de Ciencias, UNAM.