El Consejo Ejecutivo de la UNESCO ha proclamado el 14 de enero como Día mundial de la jógica.

La fecha del 14 de enero se ha eligido para rendir homenaje a dos grandes lógicos del siglo XX: Kurt Gödel (que falleció el 14 de enero de 1978) y Alfred Tarski (que nació el 14 de enero de 1901).

Uniéndose a dicha celebración, hoy (14 de enero de 2020) comienza la andadura de este blog cuyo principal objetivo es servir de complemento a las asignaturas de

• Lógica matemática y fundamentos (de 3º del Grado en Matemáticas) y
• Razonamiento automático del Máster el Lógica, Computación e Inteligencia Artificial.

El plan es proponer cada semana un ejercicio de forma que los alumnos pueden escribir las soluciones en los comentarios utilizando Isabelle/HOL en la demostración.

El código se escribe entre una línea con <pre lang="isar"> y otra con </pre>