Direct bewijs
Leer directe bewijzen te construeren door logisch conclusies af te leiden uit gegeven hypothesen met behulp van definities, axioma's en eerder bewezen stellingen.
Definitie
- Begin met aan te nemen dat waar is
- Gebruik logische deducties om te tonen dat ook waar moet zijn
Probeer het meteen
Uitgewerkte voorbeelden
Bewijs: Als en even gehele getallen zijn, dan is even.
Formuleer de hypothese
Stel dat en even gehele getallen zijn → Gegeven: en zijn even
Pas de definitie van even toe
Een even geheel getal kan worden geschreven als voor een geheel getal → en voor gehele getallen
Tel de twee getallen op
→
Haal de gemeenschappelijke factor buiten haakjes
→
Pas de definitie van even opnieuw toe
Aangezien een geheel getal is, is per definitie even → is even
Antwoord: Daarom is de som van twee even gehele getallen altijd even. QED
Veelgemaakte fouten
Specifieke voorbeelden gebruiken in plaats van een algemeen bewijs
Waarom het fout is: Aantonen dat (even) bewijst niets over ALLE even getallen. Een bewijs moet werken voor elk mogelijk geval.
Correct: Gebruik variabelen en definities. Schrijf 'Stel voor een geheel getal ' om ELK even getal te vertegenwoordigen.
Aannemen wat je wilt bewijzen
Waarom het fout is: Je kunt de conclusie niet gebruiken in je redenering. Dit is circulaire logica.
Correct: Begin alleen vanuit de hypothese en werk vooruit. Schrijf nooit 'Aangezien even is...' totdat je het hebt bewezen.
Logische stappen overslaan
Waarom het fout is: Elke stap moet logisch volgen uit vorige stappen. Gaten in de redenering kunnen fouten verbergen.
Correct: Rechtvaardig elke stap met een definitie, axioma of eerder bewezen stelling.
Interactieve visualisatie
Waarheidstabel
| P | Q | P ∧ Q |
|---|---|---|
| F | F | F |
| F | T | F |
| T | F | F |
| T | T | T |
T= WaarF= Onwaar
Interactieve sandbox
Expressiecalculator
Probeer deze:
Geschiedenis
Nog geen berekeningen
Oefenproblemen
17 opgavenWat is de eerste stap in een direct bewijs?
Waarom het belangrijk is
- Fundament van wiskunde: Elke stelling die je gebruikt is bewezen met direct bewijs of verwante methoden
- Informatica: Correctheidsbewijzen voor algoritmen gebruiken vaak direct redeneren
- Juridische argumentatie: Advocaten construeren argumenten van bewijs naar conclusie
- Wetenschappelijke methode: Het afleiden van voorspellingen uit hypothesen gebruikt dezelfde logische structuur
- Probleemoplossing: Het opdelen van complexe problemen in logische stappen
Toepassingen in de echte wereld
Softwareverificatie
Programmeurs gebruiken de logica van direct bewijs om te verifiëren dat hun code correct werkt voor alle invoer.
Voorbeeld:
Om te bewijzen dat een sorteeralgoritme altijd gesorteerde uitvoer produceert, tonen we aan: als de invoer een lijst is, heeft de uitvoer dezelfde elementen in niet-dalende volgorde.
Een programma verdubbelt elk getal in een lijst. We moeten bewijzen: als alle invoergetallen positief zijn, zijn alle uitvoergetallen positief.
Voltooi dit directe bewijs.
Stap 1: Schrijf de wiskundige uitdrukking
Als , dan
Juridisch redeneren
Advocaten construeren argumenten die logisch leiden van bewijs naar conclusies.
Voorbeeld:
Als het contract stelt dat betaling verschuldigd is bij levering, en de levering vond plaats op 1 maart, dan was de betaling verschuldigd op 1 maart.
Wet: Alle burgers boven 18 mogen stemmen. Feit: Alex is een burger. Feit: Alex is 21 jaar oud.
Bewijs dat Alex mag stemmen.
Stap 1: Schrijf de wiskundige uitdrukking
Structureer het logische argument
Belangrijke punten
- 1Een direct bewijs neemt aan dat de hypothese waar is en leidt de conclusie af via logische stappen
- 2Gebruik definities om woorden te vertalen naar wiskundige uitdrukkingen (bijv. even = )
- 3Elke stap moet logisch volgen uit vorige stappen met algebra, definities of stellingen
- 4Het bewijs eindigt wanneer je de exacte vorm van de conclusie bereikt
- 5QED (quod erat demonstrandum) markeert het einde van een bewijs
Veelgestelde vragen
Woordenlijst
- Direct bewijs
- Een bewijsmethode die de hypothese aanneemt en logische deductie gebruikt om de conclusie af te leiden
- Hypothese
- Het 'als'-deel van een conditionele uitspraak; wat we als waar aannemen
- Conclusie
- Het 'dan'-deel van een conditionele uitspraak; wat we willen bewijzen
- QED
- Afkorting voor 'quod erat demonstrandum', markeert het einde van een bewijs
- Stelling
- Een wiskundige uitspraak die als waar is bewezen
- Axioma
- Een uitspraak die als waar wordt aangenomen zonder bewijs; een startpunt voor redeneren