deducción lógica – 3 lógicos entran en un bar

Nombraremos a los lógicos A, B y C para simplificar.

Si A quiere un trago, A todavía no sabe si B y C quieren un trago. Por lo tanto, A no puede responder «sí».

Si A no quiere un trago, A diría «no» porque al menos uno de A, B y C no quiere un trago, lo que hace que «todo el mundo quiera un trago» sea falso.

Al decir «No sé», A indica su deseo personal de tomar una copa, pero su falta de conocimiento sobre los otros dos.

B está esencialmente en la misma situación. B puede deducir que A quiere un trago, pero aún no sabe la preferencia de C, por lo tanto debe responder «no» si B no quiere un trago, y debe responder «No sé» si B quiere un trago .

C, sin embargo, ahora puede deducir que tanto A como B quieren bebidas.

Entonces, si el tercer lógico quiere un trago, dicen:

Sí, todo el mundo quiere un trago.

Si el tercer lógico no quiere beber, dice:

No, no todo el mundo quiere un trago.

Deja un comentario