Olimpiada de Lógica 2018. Ejercicios 1.

Recordatorio.
Recordemos que en nuestro curso de Matemáticas Básicas se nos habla de algo
llamado proposiciones lógicas. La idea de éstas es simplificar frases que estén
bien construidas en español. Por ejemplo, ’hoy es Lunes’ es una proposición lógi-
ca y puede respresentarse por alguna letra del alfabeto, por lo regular elegimos
P, Q, R, etc. Sin embargo, algo como ’dı́a yo casa tren estuve’ no es considerada
como tal.
También se nos habla de que a las proposiciones les podemos asignar un valor
de verdad ya sea verdadero, representado por una V ó 1, o falso representado
por una F ó 0. Sin embargo, este enfoque no se centra en buscar contextos en
los que una proposición sea falsa o verdadera. Por ejemplo la proposición ’hoy
llueve’ puede cambiar de valor de verdad dependiendo si llueve hoy o no. Lo im-
portante en lógica proposicional es verificar si una proposición es verdadera
por su forma, es decir, por cómo esta construida.
Para aclarar más este asunto, recordemos que se nos habla de los conectivos
∨, ∧, ¬, ⇒, ⇔ que nos sirven para ’operar’ con proposiciones y también para
identificar cómo se forma una proposición. Sabemos que a ∨ le damos el sig-
nificado ’o’, a ∧ el significado ’y’, a ¬ el significado ’no’ o ’es falso que’, a ⇒
’si...entonces’ y a ⇔ ’equivale a’ o ’si y sólo si’. Ası́ que la proposición ’si voy a
la escuela, tomo la ruta 10’ tiene la forma P⇒Q donde P es la proposición ’voy
a la escuela’ y Q es ’tomo la ruta 10’.
Algunos ejemplos más a continuación:
1. O terminas conmigo o yo termino contigo, tiene la forma P∨Q. (¿porqué?)
2. Es falso que Trump es blanco, tiene la forma ¬P.
3. Tembló pero ningún edificio se cayó, tiene la forma P∧Q. (¿porqué?)
4. 1+1 es 2 si y sólo si 0+0 es 0, tiene la forma P⇔Q.
5. Decir que México no gana el mundial equivale a decir que la mafia del
poder controla el futbol, ¿tiene la forma P⇔Q?
6. Un número es primo si y sólo si es par, ¿qué forma tiene?
Problema 1. Más aún... la proposición ’pasaré el examen a menos que venga
el ejercicio 2’ ¿qué forma tiene?.

Estos conectivos se estudian respecto a los valores de verdad V o F con algo

conocido como tabla de verdad. Por ejemplo, el conectivo ∨ tiene la siguiente
tabla de verdad:
Disyunción
P Q P∨Q
V V V
V F V
F V V
F F F

1
A continuación se enlistan los demás conectivos.
Conjunción
P Q P∧Q
V V V
V F F
F V F
F F F

Implicación
P Q P⇒Q
V V V
V F F
F V V
F F V

Equivalencia
P Q P⇔Q
V V V
V F F
F V F
F F V

Negación
P ¬P
V F
F V

Ahora podemos analizar con valores de verdad cualquier proposición lógica, por
ejemplo consideremos (P∨Q)⇒Q y construyamos su tabla de verdad:

P Q P∨Q (P∨Q)⇒Q
V V V V
V F V F
F V V V
F F F V
Notemos que la proposición analizada no siempre es verdadera, pues en el caso en
el que P fuera verdadero y Q falso tenemos que ésta es falsa. A las proposiciones
que pueden ser verdaderas y falsas se les llama contingentes. Ahora fijemonos
en el siguiente ejemplo.
P ¬P P∧¬P
V F F
F V F
La proposición P∧¬P por el contrario siempre es falsa sin importar el valor
que tome P. A estas proposiciones se les llama contradicciones, para ellas

2
introducimos el sı́mbolo ⊥ para identificarlas.
Por último caso nos quedan las proposiciones que siempre son verdaderas, a
las cuales llamaremos tautologı́as y para ellas introducimos el sı́mbolo > para
identificarlas. Por ejemplo la proposición P⇒P.
P P⇒P
V V
F V

Problema 2. ¿P⇒(Q⇒P) es tautologı́a?

Por lo dicho, la lógica proposicional se centra en verificar si una proposición

es o no una tautologı́a. Y una forma de ello es realizar su tabla de verdad (lo
cual en cierto sentido es analizar la proposición por su forma), pero ¿qué pasa
con proposiciones más largas? ¿Es posible crear un método que nos diga si algo
es o no tautologı́a para cualquier proposición?
La cuestión fue planteada en otro tipo de lógica que veremos más adelante y es
conocida como ’Entscheindungsproblem’.
A continuación unos ejercicios.

Ejercicios.
a) Formalice ’Aunque la función x2 no sea inyectiva, es positiva’.
b) Responda los problemas 1 y 2, ası́ como las preguntas en los incisos numéri-
cos.
c) ¿(((P ∨ Q) ∧ (S ⇒ ¬P)) ∧ (Q ⇒ R)) ⇒ ¬(S ∧ ¬R) es tautologı́a? Hint:
Idee un método que evite calcular la tabla de verdad.
d) Definimos el conectivo proposicional  como sigue:

P Q PQ
V V V
V F V
F V F
F F V

¿(PQ)P es tautologı́a? ¿El conectivo  tendrá alguna relación con alguno

de los conectivos vistos? Si es ası́, ¿con cuáles? Si no, ¿porqué?
e) Resuelva el siguiente acertijo
Albert y Bernard se acaban de hacer amigos de Cheryl y quieren saber
cuándo es su cumpleaños, a lo que Cheryl les responde con una lista con
10 posibles fechas.

3
 15 de Mayo, 16 de Mayo, 19 de Mayo
17 de Junio, 18 de Junio
14 de Julio, 16 de Julio
14 de Agosto, 15 de Agosto, 17 de Agosto

Luego Cheryl les dice por separado a Albert y a Bernard, el mes y el dı́a
correcto respectivamente.
Albert dice: ’No sé cuándo es el cumpleaños de Cheryl, pero sé que Ber-
nard tampoco lo sabe’.
Bernard contesta: ’Al principio no sabı́a cuándo era el cumpleaños de
Cheryl, pero ahora ya lo sé’.
A lo cual Albert responde: ’Entonces yo también sé cuándo es su cum-
pleaños’.
¿Cuándo es el cumpleaños de Cheryl?