Na een college over de filosofen Alondja, Beck, Collins en Dembélé bespreken een aantal studenten welke van de behandelde filosofen determinist zijn. Ze herinneren zich verschillende dingen over het college.
Ella: Ik herinner me dat twee van de vier determinist waren en de andere twee niet.
Floris: Als Alondja een determinist is, is Dembélé determinist.
Galina: Als Dembélé geen determinist is, is Collins ook geen determinist.
Hanna: Het is niet zo dat Alondja en Dembélé beide determinist zijn.
Irene: Het is ook niet zo dat Collins en Dembélé allebei deterministen zijn.
Alles wat de studenten zeggen klopt. Wie van de filosofen is determinist en wie niet?
Oplossing
Beck en Dembélé zijn deterministen, Alondja en Collins niet. Door de uitspraak van Ella weten we dat er zes mogelijkheden zijn, die we steeds kunnen weergeven met de voorletters van de twee deterministen: AB, AC, AD, BC, BD, en CD. Door de uitspraak van Floris vallen twee mogelijkheden af, namelijk AB en AC. In die gevallen is Alondja namelijk wel een determinist en Dembélé niet, en dat kan niet volgens Floris. Door de uitspraak van Galina valt ook BC af (en ook AC, maar die was al afgevallen). Als Dembélé namelijk geen determinist is, dan is Collins dat ook niet, volgens Galina. Door Hanna’s uitspraak valt de mogelijkheid AD af en door die van Irene valt CD af. Nu blijft alleen BD over, dus zijn Beck en Dembélé deterministen en Alondja en Collins allebei niet.
