π¬ Sloop-demo: hoe werkt een tegenvoorbeeld?
π€ Amir beweert:
"Welkom in mijn sloop-lab! Ik dacht net iets slims: alle priemgetallen zijn oneven."
(getal is priem) ⇒ (getal is oneven)
Kan dat kloppen? In dit lab geloof je niets zomaar: we gaan wroeten tot we weten of de stelling standhoudt.