ISIS1107 - FMC - 202310

QUIZ 2

1. Cálculo proposicional.
Se decide crear un nuevo operador lógico a∆b ≡ ¬(¬a ∧ b).

Use una cadena de equivalencias lógicas para mostrar que (a∆b)∆a es una tau-
tologı́a.

2. Lógica.
Cuatro amigos han sido identificados como sospechosos de un acceso no au-
torizado a un computador. Ellos han hecho declaraciones ante las autoridades y
exactamente uno de ellos es el culpable. Alice dijo “Carlos lo hizo”. John dijo “Yo
no lo hice”. Carlos dijo “Diana lo hizo”. Diana dijo “Carlos mintió cuando dijo que
yo lo habı́a hecho”.

Si las autoridades saben también que exactamente uno de los sospechosos dice
la verdad, ¿quién lo hizo? Explica tu razonamiento.

3. Demostraciones.
Pruebe que el producto de dos números irracionales siempre es irracional.

Date: 5 de febrero de 2023.

1