Colección Recuerdos: UIB. Ingeniería de Informática de Sistemas. Lógica

En el centro educativo IES Pau Casesnoves, durante el curso 2006-2007, hice el primer curso de Bachillerato. Durante aquel año, pude ver el tema de lógica en la asignatura de Filosofía. Sin ninguna duda, mis resultaros fueron excelentes en este tema. Por ello, durante aquel año, algunos compañeros me llamaban “El Padre de la Filosofía”, especialmente por la buena nota conseguida. No fue hasta el curso 2009-2010 que volví a ver Lógica, como una asignatura troncal de la Ingeniería de Informática de Sistemas en la Universitat de les Illes Balears (UIB). Me encantó esa asignatura. Hacía los ejercicios que nos mandaban y a veces unos cuantos más, cuando había algo de tiempo, para practicar. Para una primera prueba que hicimos, antes del examen final, preparé una chuleta para poder estudiar, que ocupó tan sólo una hoja por delante. En esta, además de teoría, se incluían las reglas del cálculo deductivo, más conocidas como reglas de inferencias. Ahora bien, para el examen final, preparé también una hoja de chuletas. Reduciendo la letra, pude introducir la teoría vista hasta el examen parcial y la demás teoría vista en los demás temas del curso, concretamente sobre la lógica de predicados, la lógica de proposiciones y la lógica adecuada. Obviamente, con la chuleta no era suficiente para aprobar. Se necesitaba haber practicado a consciencia para poder aprobar el examen, que no fue fácil. Los conocimientos que conseguí me ayudaron posteriormente para ayudar a un compañero de clase de una antigua amiga.