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

Ahora es necesario identificar las premisas del problema. Este acertijo en particular solo tiene una premisa indicada en la oración: «Ambas puertas tienen inscripciones y Alí Babá sabe que ambas son ciertas o ambas son mentiras». Una forma alternativa de redactar la oración es diciendo que la inscripción en la puerta A es cierta si y solo si la inscripción en la puerta B es cierta. Eso nos indica que la premisa del problema se puede modelar deusando estauna formaequivalencia material: