Osservazioni

A prima vista si direbbe che non è possibile sapere con certezza se c'è una persona sposata che ne guarda una non sposata, perché non sappiamo nulla dello stato coniugale di Elena. Riguardando il problema con maggiore attenzione, però, ci accorgiamo che ci sono due casi possibili: Elena è sposata, oppure Elena non è sposata. Nel primo caso, Elena che è sposata guarda Paride che non è sposato; nel secondo caso Menelao che è sposato guarda Elena che non è sposata. Quindi possiamo dire che una persona sposata ne guarda una non sposata, anche se non possiamo dire chi siano le due persone.

Un'ultima parola

Gli esperti dicono che questo problema di logica risulta particolarmente difficile perché noi evitiamo se possibile il ragionamento disgiuntivo completo (quello indicato nella dimostrazione), perché più pesante da calcolare, preferendo un ragionamento euristico - in questo caso valutare le due coppie lasciando come "sconosciuto" lo stato di Elena - che di solito funziona lo stesso ed è molto più veloce, ma in alcuni casi non ci dà la risposta corretta.


 
[continua]     [indice]