1. ¿Qué día se celebra oficialmente el Día Mundial de la Lógica según la UNESCO?

a) 13 de noviembre
b) 14 de enero
c) 22 de marzo
d) 1 de abril

2. ¿Por qué se eligió precisamente el 14 de enero para celebrar el Día Mundial de la Lógica?

a) Es el día que nació Aristóteles
b) Es el día del nacimiento de Alfred Tarski y el fallecimiento de Kurt Gödel
c) Es el aniversario de la publicación de la Crítica de la Razón Pura
d) Coincide con el día internacional de la filosofía

3. ¿Quién de los siguientes NO es un lógico muy relacionado con el Día Mundial de la Lógica?

a) Kurt Gödel
b) Alfred Tarski
c) Bertrand Russell
d) Alan Turing

4. En lógica clásica, ¿cuál de estas afirmaciones es una paradoja famosa?

a) p → (q ∧ ¬q)
b) Esta afirmación es falsa
c) ∀x (x = x)
d) p ∨ ¬p

5. Si todos los gatos son mamíferos y algunos mamíferos son negros, ¿qué podemos concluir con certeza lógica?

a) Todos los gatos son negros
b) Algunos gatos son negros
c) Algunos mamíferos son gatos
d) Ninguna conclusión cierta sobre el color de los gatos

6. Un granjero debe cruzar un río con un lobo, una cabra y un repollo. Solo puede llevar un elemento cada vez (además de él mismo). El lobo no puede quedarse solo con la cabra, ni la cabra con el repollo. ¿Cuál es el número mínimo de viajes que necesita?

a) 5
b) 7
c) 9
d) 11

7. En una isla hay dos tipos de personas: las que siempre dicen la verdad y las que siempre mienten. Una persona te dice: «Soy un mentiroso». ¿Qué tipo de persona es?

a) Siempre dice la verdad
b) Siempre miente
c) Ambas cosas son posibles
d) Ninguna de las anteriores (es imposible)

8. ¿Qué día es hoy si el día después de pasado mañana es el mismo día que el día antes de anteayer?

a) Lunes
b) Miércoles
c) Viernes
d) Domingo

9. Tres cajas: una tiene solo manzanas, otra solo naranjas y otra una mezcla. Las tres etiquetas están mal puestas. ¿Qué hay en la caja etiquetada como «Mezcla»?

a) Solo manzanas
b) Solo naranjas
c) Mezcla de ambas
d) No se puede saber

10. Un hombre dice: «Si digo la verdad me ahorcarán, si miento me fusilarán». ¿Qué debe decir para salvarse? (versión clásica adaptada)

a) «Me van a fusilar»
b) «Me van a ahorcar»
c) «No diré nada»
d) «Esta frase es falsa»

SOLUCIONES

1. B) 14 de enero La UNESCO proclamó el Día Mundial de la Lógica en 2019 y se celebra cada 14 de enero desde entonces.
2. B) Es el día del nacimiento de Alfred Tarski y el fallecimiento de Kurt Gödel Dos de los lógicos más influyentes del siglo XX. Tarski nació el 14/01/1901 y Gödel falleció el 14/01/1978.
3. D) Alan Turing Aunque Turing es una figura fundamental en lógica matemática e informática teórica, la fecha del Día Mundial de la Lógica se eligió específicamente por Gödel y Tarski.
4. B) «Esta afirmación es falsa» Es la famosa paradoja del mentiroso (versión moderna de Epiménides). Las demás opciones son fórmulas lógicas válidas o tautologías.
5. D) Ninguna conclusión cierta sobre el color de los gatos En silogística clásica no se puede concluir nada definitivo sobre el color de los gatos (puede haber gatos negros, pero también puede no haber ninguno).
6. B) 7 Secuencia mínima clásica: Cabra → 2. Vuelta solo → 3. Lobo → 4. Vuelta con cabra → 5. Repollo → 6. Vuelta solo → 7. Cabra (7 viajes en total).
7. D) Ninguna de las anteriores (es imposible) Si dice la verdad → entonces es mentiroso → contradicción. Si miente → entonces NO es mentiroso → es decir, dice la verdad → contradicción. → Paradoja → no puede existir tal persona que haga esa afirmación.
8. B) Miércoles Despejando paso a paso: Día después de pasado mañana = día antes de anteayer Esto solo es consistente si hoy es miércoles.
9. B) Solo naranjas La caja etiquetada «Mezcla» no puede tener mezcla (etiqueta falsa). Tampoco puede tener manzanas (porque la de «Manzanas» tiene algo diferente). Por eliminación → tiene solo naranjas.
10. A) «Me van a fusilar» Si dice la verdad → lo ahorcan → pero dijo que lo fusilarían → contradicción → luego debe estar mintiendo.Si miente → entonces NO lo van a fusilar → por tanto lo ahorcan → pero al mentir se cumple la regla del ahorcamiento. No hay contradicción.Es la única respuesta que genera consistencia lógica.