Diferencia entre revisiones de «Lógica proposicional/Alí Babá y las dos puertas»
Contenido eliminado Contenido añadido
Creando (en progreso) |
|||
Línea 18:
== La solución ==
El primer paso necesario para resolver el problema es identificar las proposiciones primitivas. En este caso, usaremos las mismas letras que identifican las puertas para representar las siguientes proposiciones:
* '''A''': La puerta A oculta un tesoro.
* '''B''': La puerta B oculta un tesoro.
Dado que las puertas solo ocultan una de dos cosas posibles (un tesoro o una trampa) podemos usar la negación de las proposiciones anteriores para representar la situación opuesta. <math>\neg A</math> significa que detrás de la puerta A hay una trampa (no hay un tesoro) y <math>\neg B</math> significa que detrás de la puerta B hay una trampa.
{{navegación|[[Lógica proposicional]]|[[Lógica proposicional/Evaluación final|Evaluación final]]|[[Lógica proposicional]]}}
|