De cursus Wiskundige Logica en Structuren

Logische gevolgen: motivatie
1.Britney is een ster.
2.Elke ster heeft talent of heeft een slimme manager.
3.Elke ster haat minstens één knappe ster zonder talent.
4.Christinahaat alle sterren die een jaloerse manager hebben.
5.Slimme managers van knappe sterren zijn altijd jaloers.
6.Britney en Christinahaten beiden een zelfde ster.
Is (6) een logisch gevolg van (1),(2),…,(5) ?

Jup, wiskunde is één en al Rock & Roll baby!