Eso que llamamos Lógica (V) El Cálculo Proposicional.
Esta serie se denomina “Eso que llamamos Lógica”, creo que os habréis dado cuenta. Presuntuoso nombre, seguramente. Sin embargo, el caso es que hasta ahora poco hemos visto de Lógica-Lógica, no sé si me explico…
Sirva en mi descargo que nos hemos estado preparando para ello, pues hasta ahora hemos visto cómo es el álgebra de Boole con su Forma Normal Disyuntiva, luego entramos en la base del álgebra de Circuitos, y por fin, en el artículo anterior vimos el álgebra de Conjuntos desde la óptica del álgebra de Boole… pero ya con una cierta aplicación a la resolución de problemas lógicos, lo que muchos de vosotros llamaríais “Acertijos”, como el ínclito e incombustible “¿Cómo se llama el maquinista?”, que os dejé de regalo en el capítulo anterior de la serie. Espero que su resolución no os haya destruido muchas neuronas.
Como sabéis, porque lo he dicho en cada capítulo, en realidad estoy siguiendo mis emborronados apuntes de la asignatura de “Metodología” de Segundo de Informática, curso 1973-74, impartido por José Cuena Bartolomé, desgraciadamente fallecido en 1999, uno de los mejores profesores que he tenido en mi vida.
Supongo que os habréis dado cuenta del método didáctico seguido por Pepe Cuena para desasnarnos en estas lides…
Empezó por la base teórica, el álgebra de Boole, luego nos explicó aplicaciones de la misma a problemas distintos (los circuitos eléctricos, los conjuntos), para llegar al cálculo proposicional… Iba paulatinamente definiendo los ladrillitos con los que se construirían los edificios cada vez más altos de la Lógica. No daba nada por sentado, sino que definía las cosas de lo particular a lo general…
Al final del artículo incluiré unos párrafos explicando todo esto de forma más detallada, para que no os perdáis en lo que sigue. Leedlo y podréis seguir lo que queda de serie con facilidad… espero.
.
En fin, a estas alturas del curso (debía ser enero o febrero de 1974), Don José nos dijo que ya estaba bien de holgazanear, que ya iba siendo hora de entrar en materia, lógicamente, con la Lógica de verdad… y eso haremos en este capítulo dedicado al Cálculo Proposicional. Sigamos el razonamiento y las explicaciones de Don José…






