La isla de los Brujos y los Magos

Tomar en cuenta para cada caso la tabla de verdad correspondiente al conectivo lógico.
Un empadronador llamado Artús realizó cierto trabajo en “La isla de los Brujos y los
Magos”. Los brujos siempre formulan enunciados falsos mientras que los Magos dicen
siempre la verdad. En dicha isla también se clasifica a las mujeres como brujos o magos. A
todo habitante le resulta imposible declarar que es un Brujo, porque un Mago nunca
mentiría y diría que es un Brujo, y un Brujo nunca admitiría verazmente que es un Brujo.
En esta ocasión, Artús visitó únicamente matrimonios.

1.- Conjunción
Artús llamó a una puerta; el marido la abrió receloso y cuestionó a Artús sobre el motivo
de su visita.
Hago un censo –respondió Artús–, y requiero información sobre usted y su esposa. ¿Cuál,
si alguno lo es, es un Mago, y cuál, si alguno lo es, es un Brujo?
–¡Ambos somos Brujos! – dijo el marido furioso mientras le cerraba la puerta en la cara a
Artús ¿De qué clase es el marido y de qué clase es la mujer?

2.- Disyunción
En la siguiente casa, Artús le preguntó al marido: –¿Ambos son Brujos? – El marido
contestó: –Al menos uno de nosotros lo es. ¿Cuál es la clase de cada uno?

3.- Condicional
La próxima casa que visitó Artús resultó un enigma mayor. Un hombre algo tímido abrió la
puerta. Cuando Artús le pidió algo de información sobre sí mismo y sobre su cónyuge, lo
único que dijo el marido fue: -Si soy un Mago, entonces también lo es mi esposa. Artús se
fue un tanto confundido. – ¿Cómo puedo inferir algo certero sobre alguno de los dos a
partir de una respuesta tan evasiva? – se preguntó
Se encontraba a punto de anotar: “Marido y Mujer, ambos de clase indeterminada”,
cuando de pronto recordó una antigua lección de Lógica de sus tiempos universitarios.
Desde luego –se dio cuenta–, que puedo determinar a qué clase pertenecen.
¿De qué clase es el esposo y de qué clase es la mujer?
4.-Bicondicional
Cuando el empadronador interrogo a la cuarta pareja, el Marido respondió: –Mi pareja y
yo somos de la misma clase; o ambos somos Magos o ambos Brujos.
(El Marido podría haber dicho también: -Soy un Mago si y sólo si mi esposa es un Brujo. Lo
cual significa lo mismo.
¿Qué puede deducirse sobre el esposo y qué puede deducirse sobre la esposa?