Naar de inhoud
Logicagroep 7–8

Bewijzen en beslissen

Je weet al wanneer een redenering klopt. Nu ga je kijken hoe je iets Γ©cht vastspijkert: waarom uit 'als het regent is de straat nat' niet volgt dat het regent, hoe je met twee controles een uitspraak over oneindig veel getallen bewijst, en hoe je aantoont dat iets onmogelijk is in plaats van alleen maar moeilijk. Daarna wordt het lastiger, want er komen andere mensen bij: je ontdekt dat dezelfde stembriefjes vier verschillende winnaars kunnen opleveren, dat er bewijsbaar geen perfect kiesstelsel bestaat, en waarom twee mensen die allebei verstandig kiezen samen slechter af zijn dan wanneer ze elkaar hadden vertrouwd.

Je kunt alle lessen gratis lezen. Log in om je voortgang op te slaan.

  1. πŸ”’ Les 1: Als-dan onder de loep

    Waarom de omkering nooit meekomt en de contrapositie altijd

    Β± 25 min

    Genius ✨

  2. πŸ”’ Les 2: Alle, sommige, geen

    Twee woordjes die een uitspraak compleet van betekenis laten veranderen

    Β± 26 min

    Genius ✨

  3. πŸ”’ Les 3: Bewijs uit het ongerijmde

    Neem aan dat je ongelijk hebt, en laat de aanname zichzelf slopen

    Β± 30 min

    Genius ✨

  4. πŸ”’ Les 4: Het dominoprincipe

    Volledige inductie: twee controles voor oneindig veel gevallen

    Β± 28 min

    Genius ✨

  5. πŸ”’ Les 5: Stemmen

    Waarom er geen perfect kiesstelsel bestaat

    Β± 26 min

    Genius ✨

  6. πŸ”’ Les 6: Het gevangenendilemma

    Twee keuzes die apart slim zijn en samen slecht aflopen

    Β± 30 min

    Genius ✨