Diferencia entre revisiones de «Lógica proposicional/Alí Babá y las dos puertas»

Con las proposiciones primitivas debidamente identificadas y el problema expresado en forma de proposiciones, que usaremos como premisas para el proceso de deducción, podemos analizar las preguntas que se le plantean a Alí Babá y tratar de contestarlas. La cuestión es identificar si en realidad existe un tesoro. Para averiguarlo usaremos una deducción indirecta, asumiendo que no existe un tesoro: <math>\neg (A \or B)</math>.