Diferencia entre revisiones de «Lógica proposicional/Alí Babá y las dos puertas»
Contenido eliminado Contenido añadido
Línea 24:
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.
El siguiente paso es representar las afirmaciones en cada puerta con proposiciones compuestas definidas en términos de las proposiciones primitivas definidas anteriormente. En este acertijo tenemos dos puertas con dos inscripciones.
* Inscripción de la puerta '''A''': <math>A \or B</math>
::Significa que hay un tesoro al menos detrás de una de las dos puertas.
* Inscripción de la puerta '''B''': <math>\neg A</math>
::Significa que detrás de la puerta A no hay un tesoro, osea que hay una trampa mortal.
{{navegación|[[Lógica proposicional]]|[[Lógica proposicional/Evaluación final|Evaluación final]]|[[Lógica proposicional]]}}
| |||