De taal en de logica van de wiskunde — het fundament van het wiskundig denken
Verzamelingenleer is de taal waarin de moderne wiskunde geschreven is. Tegelijk leert wiskundig redeneren ons hoe we bewijs van bewering onderscheiden, hoe we logisch argumenteren en hoe we valkuilen in redeneringen herkennen. Dit hoofdstuk rondt het jaar wiskunde af met de fundamenten van het wiskundig denken.
In de wiskunde hebben we een precieze manier nodig om over groepen van objecten te praten. Die precisie biedt de verzamelingenleer. Je hebt al eerder met verzamelingen gewerkt — de getallenverzamelingen ℕ, ℤ, ℚ en ℝ uit hoofdstuk 1 zijn precies dat: verzamelingen van getallen. In dit hoofdstuk leren we de algemene taal van verzamelingen.
Een verzameling is een welbepaalde collectie van objecten, de elementen van de verzameling. “Welbepaald” betekent dat het voor elk object duidelijk is of het al dan niet tot de verzameling behoort.
Er zijn twee gebruikelijke manieren om een verzameling te omschrijven:
De basisrelaties tussen elementen en verzamelingen:
Twee verzamelingen zijn gelijk als en slechts als ze dezelfde elementen bevatten: A = B ⇔ (A ⊆ B en B ⊆ A). Dit is een fundament van de wiskundige definitie van gelijkheid.
De lege verzameling is een deelverzameling van elke verzameling:
∅ ⊆ A voor elke verzameling A.
Redenering: om te bewijzen dat ∅ geen deelverzameling van A is, zou je een element moeten vinden dat in ∅ zit maar niet in A. Maar ∅ heeft geen elementen — dus zo’n element bestaat niet. Daarom is ∅ ⊆ A altijd waar.
Gegeven A = {1, 2, 3, 4, 5} en B = {2, 4, 6, 8}. Welke elementen horen bij A ∩ B? A ∪ B? A \ B?
A ∩ B = {2, 4} | A ∪ B = {1, 2, 3, 4, 5, 6, 8} | A \ B = {1, 3, 5}
Net zoals we met getallen kunnen rekenen (optellen, aftrekken, …), kunnen we ook met verzamelingen “rekenen”. De vier basisoperaties zijn de doorsnede, de unie, het verschil en het complement.
De doorsnede A ∩ B bevat enkel de elementen die tegelijk in A en in B zitten. Als A ∩ B = ∅, zeggen we dat A en B disjunct zijn: ze hebben geen enkel element gemeenschappelijk.
In de wiskunde betekent “of” altijd minstens één van beide (inclusief “en”). Een element mag dus in A, in B of in beiden zitten om tot A ∪ B te behoren.
Het verschil A \ B (ook geschreven als A − B) bevat alle elementen van A die niet in B voorkomen. Let op: A \ B en B \ A zijn in het algemeen niet gelijk.
Het complement Aᶜ (of A′ of ¬A) bevat alle elementen van de universele verzameling U die niet in A zitten. Het begrip complement heeft enkel zin als we weten welke universele verzameling we gebruiken.
De goud gearceerde gebieden tonen telkens welke regio tot de resulterende verzameling behoort.
Voor alle verzamelingen A en B (binnen een universele verzameling U) gelden de wetten van De Morgan:
en
In woorden: het complement van een unie is de doorsnede van de complementen, en omgekeerd.
Gegeven U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, A = {1, 2, 3, 6, 7}, B = {2, 4, 6, 8}. Bereken A ∩ B, A ∪ B, A \ B en Aᶜ.
A ∩ B = {2, 6} | A ∪ B = {1, 2, 3, 4, 6, 7, 8} | A \ B = {1, 3, 7} | Aᶜ = {4, 5, 8, 9, 10}
Soms willen we niet de precieze samenstelling van een verzameling kennen, maar enkel hoeveel elementen erin zitten. Daarvoor gebruiken we de cardinaliteit.
De cardinaliteit van een verzameling A, genoteerd |A|, is het aantal elementen van A. Voorbeelden: |{a, b, c}| = 3; |∅| = 0; |{1, 2, 3, 4, 5}| = 5.
Als A en B overlappende verzamelingen zijn, tellen we bij |A| + |B| de elementen in A ∩ B twee keer. Om dit te corrigeren, trekken we |A ∩ B| eenmaal af. Zo ontstaat de somregel (ook wel de inclusie-exclusieformule):
Bijzonder geval: als A en B disjunct zijn (A ∩ B = ∅), geldt |A ∪ B| = |A| + |B|. Dit is de eenvoudige somregel die je al gebruikt hebt bij kansen en combinaties.
In een klas spelen 15 leerlingen voetbal en 12 leerlingen tennis. 5 leerlingen spelen beide sporten. Hoeveel leerlingen spelen minstens één van de twee sporten?
22 leerlingen spelen minstens één van de twee sporten.
In dezelfde klas zijn er 30 leerlingen. Hoeveel leerlingen spelen noch voetbal noch tennis? Hoe gebruik je het complement om dit te berekenen?
Wiskunde is meer dan rekenen: het is een systeem van precieze uitspraken en geldige redeneringen. Drie soorten uitspraken spelen een centrale rol:
Er zijn verschillende strategieeën om een stelling te bewijzen:
Om een universele bewering (“voor alle x geldt P(x)”) te bewijzen, moet je redeneren over een willekeurig element x. Om ze te weerleggen, volstaat één concreet tegenvoorbeeld.
Bewijs of weerleg: “Het product van twee oneven getallen is altijd oneven.”
Bewezen ✓: het product van twee oneven getallen is altijd oneven, want (2k+1)(2m+1) = 2(2km+k+m)+1, wat de vorm van een oneven getal heeft.
Weerleg de bewering: “Het kwadraat van een getal is altijd groter dan het getal zelf.”
Weerlegd ✗: tegenvoorbeeld x = 0,5 geeft x² = 0,25 < 0,5. De bewering is vals. (Ook x = 0 of x = −1 zijn geldige tegenvoorbeelden.)
Veel wiskundige stellingen hebben de vorm “Als P, dan Q”. Dit is een implicatie en wordt genoteerd als P ⇒ Q (te lezen: “P impliceert Q” of “uit P volgt Q”). P noemen we de premisse (of hypothese), Q de conclusie.
Van elke implicatie P ⇒ Q kunnen we drie verwante uitspraken formuleren:
| Naam | Formule | Voorbeeld |
|---|---|---|
| Implicatie (origineel) | P ⇒ Q | Als het regent, wordt het gras nat. |
| Keerzin (converse) | Q ⇒ P | Als het gras nat is, regent het. |
| Omgekeerde (inverse) | ¬P ⇒ ¬Q | Als het niet regent, wordt het gras niet nat. |
| Contraposief | ¬Q ⇒ ¬P | Als het gras niet nat is, heeft het niet geregend. |
Een implicatie is logisch equivalent met zijn contraposief:
De keerzin (Q ⇒ P) en de omgekeerde (¬P ⇒ ¬Q) zijn ook equivalent met elkaar, maar niet met de oorspronkelijke implicatie. Veel fouten in redeneringen ontstaan doordat men de keerzin verwart met de implicatie zelf.
Wanneer zowel P ⇒ Q als Q ⇒ P gelden, spreken we van een biconditional: P ⇔ Q. Dit lezen we als “P als en slechts als Q” (afgekort: P a.s.a. Q of P iff Q). Beide richtingen moeten bewezen worden.
Gegeven de uitspraak: “Als het regent, wordt het gras nat.” Formuleer de keerzin, de omgekeerde en de contraposief. Welke zijn (doorgaans) waar?
De contraposief is altijd equivalent met de originele implicatie. De keerzin en de omgekeerde zijn equivalent met elkaar, maar niet noodzakelijk waar als de implicatie waar is.
Schrijf de uitspraak “Een getal is deelbaar door 4 als en slechts als zijn laatste twee cijfers een getal vormen dat deelbaar is door 4” als een biconditional P ⇔ Q.
P ⇔ Q: “n deelbaar door 4” ⇔ “de laatste twee cijfers van n vormen een veelvoud van 4.” Beide richtingen gelden: P ⇒ Q en Q ⇒ P.
Problemen oplossen is een vaardigheid die je kunt leren en oefenen. Wiskundigen gebruiken een aantal beproefde strategieeën wanneer ze vastlopen op een probleem. Hier zijn de vier krachtigste:
Als een probleem te complex lijkt, probeer dan eerst een eenvoudiger versie ervan op te lossen. Zoek patronen in de eenvoudige gevallen en veralgemeen dan.
Hoeveel diagonalen heeft een veelhoek met n hoeken?
Een n-hoek heeft n(n−3)/2 diagonalen.
Veel wiskundige waarheden verbergen zich in patronen. Door de eerste termen van een rij of reeks te berekenen, kun je vaak een algemene regel ontdekken.
Wat is de som 1 + 3 + 5 + 7 + … + (2n−1) (de som van de eerste n oneven getallen)?
1 + 3 + 5 + … + (2n−1) = n².
Bij veel problemen is de eindtoestand bekend, maar de weg ernaar toe niet. Dan is het soms eenvoudiger om van het einde te vertrekken en terug te werken naar het begin.
Jana denkt aan een getal. Ze verdubbelt het, trekt er 5 van af, en het resultaat is 11. Welk getal dacht ze?
Jana dacht aan het getal 8. Verificatie: 8 × 2 = 16, 16 − 5 = 11 ✓.
Veel problemen worden helder zodra je ze visualiseert. Een schets, een grafiek, een Venn-diagram of een tabel kan verbanden zichtbaar maken die in de tekst verborgen blijven.
In een groep van 20 leerlingen doen 11 aan zwemmen, 9 aan wielrennen en 4 doen beide. Hoeveel doen geen van beide?
4 leerlingen doen noch zwemmen noch wielrennen.
Dit hoofdstuk sluit het jaar wiskunde af, maar de inhoud raakt aan alles wat je eerder leerde:
Wiskunde is tegelijk een taal, een gereedschap en een manier van denken. Als taal laat ze ons ideeën met absolute precisie uitdrukken — zonder misverstand, zonder ambiguiteit. Als gereedschap helpt ze ons problemen op te lossen in alle wetenschappen, in de techniek, in de economie en in het dagelijks leven. En als manier van denken leert ze ons om te redeneren: te vragen wat gegeven is, wat bewezen moet worden, en hoe we de kloof ertussen kunnen overbruggen.
Je hebt dit jaar de eerste grote stap gezet. Getallen, bewerkingen, algebra, meetkunde, statistiek en functies: elk domein heeft zijn eigen taal, maar ze spreken allemaal dezelfde moedertaal — de wiskunde. Dat avontuur is nog maar net begonnen.
Oefening 1
Verzamelingsbewerkingen
Gegeven: U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, A = {2, 4, 5, 7, 9}, B = {1, 3, 5, 7, 10}.
Tip: werk systematisch — schrijf voor elke bewerking expliciet op welke elementen je controleert.
Oefening 2
Cardinaliteit en tellen
Gebruik de somregel |A ∪ B| = |A| + |B| − |A ∩ B|.
Oefening 3
Een stelling bewijzen
Bewijs de volgende beweringen met een direct bewijs.
Tip: gebruik altijd de algebrasche definitie (even = 2k, oneven = 2k+1) en bereken dan het resultaat stap voor stap.
Oefening 4
Tegenvoorbeeld vinden
Weerleg elk van de volgende beweringen door een tegenvoorbeeld te geven.
Tip: probeer kleine, concrete gevallen. Negatieve getallen, breuken en de getallen 0 en 1 zijn vaak goede kandidaten voor tegenvoorbeelden.
Oefening 5
Logische implicaties
Gegeven de implicatie: “Als een veelhoek een vierkant is, dan is hij een rechthoek.”
Oefening 6
Gecombineerd — verzamelingen en logica
Een uitdagende oefening die meerdere concepten samenvoegt.
Tip voor vraag 4: probeer een willekeurig element x te nemen en te tonen dat het in het linkerlid zit als en slechts als het in het rechterlid zit.