Problem:
Professor Vit vid den matematiska institutionen, professor Svart vid
den
filosofiska institutionen och den unge teoretiska fysikern docent Brun
åt
lunch tillsammans.
- Är det inte lustigt sa damen i sällskapet att vi heter
Svart, Brun och Vit
och att en av oss har svart hår, en brunt och en vitt?
- Visst, sa den som hade svart hår, och har ni tänkt på
att ingen av oss har
den hårfärg, som motsvarar det egna namnet?
- Det har du rätt i, sa professor Vit.
Om damens hår inte är brunt,vilken färg på
håret har då professor Svart?
Lösning:
Om man utgår ifrån att damen i sällskapet är
docent Brun får vi en motsägelse
eftersom han får svar från den som har svart hår
och alltså kan Bruns hår inte
vara svart. Det kan inte heller vara brunt eftersom han heter
Brun. Således måste
Bruns hår vara vitt. Då följer att Svarts hår
måste vara brunt och Vits hår svart.
Men den som har svart hår får svar av Vit, dessa två
kan således inte vara samma
person. Vi har fått en motsägelse. Vi drar därför
slutsatsen att damen inte är Brun.
Vits hår är inte vitt och ej heller svart enligt ovan.
Det är således brunt.
Om damens hår inte är bruntså är professor
Vit följaktligen inte en dam.
Vi har noterat att docent Brun måste vara man och således
måste professor Svart
vara damen i sällskapet. Hennes hår kan inte vara
svart eller brunt (det är ju Vits
hårfärg) - hon har vitt hår.
Professor Svart har vitt hår.