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.

Gevorderd25 minLes

Definitie

Een direct bewijs is een methode om een wiskundige uitspraak te bewijzen door te beginnen met bekende feiten (de hypothese) en logische stappen te gebruiken om tot de conclusie te komen.
De structuur van een direct bewijs: 1. Aannemen dat de hypothese waar is 2. Toepassen van definities, axioma's en stellingen 3. Afleiden van de conclusie door logisch redeneren
Als we willen bewijzen "Als , dan " (geschreven ):
  • Begin met aan te nemen dat waar is
  • Gebruik logische deducties om te tonen dat ook waar moet zijn

Probeer het meteen

Wat is de eerste stap in een direct bewijs?

Uitgewerkte voorbeelden

Bewijs: Als en even gehele getallen zijn, dan is even.

1

Formuleer de hypothese

Stel dat en even gehele getallen zijnGegeven: en zijn even

2

Pas de definitie van even toe

Een even geheel getal kan worden geschreven als voor een geheel getal en voor gehele getallen

3

Tel de twee getallen op

4

Haal de gemeenschappelijke factor buiten haakjes

5

Pas de definitie van even opnieuw toe

Aangezien een geheel getal is, is per definitie even is even

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
PQP ∧ Q
FFF
FTF
TFF
TTT

T= WaarF= Onwaar

Interactieve sandbox

Expressiecalculator

Probeer deze:

Geschiedenis

Nog geen berekeningen

Oefenproblemen

17 opgaven
Opgave 1 van 17
Makkelijk

Wat is de eerste stap in een direct bewijs?

Waarom het belangrijk is

Direct bewijs is de meest fundamentele bewijstechniek in de wiskunde:
  • 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
Het beheersen van direct bewijs ontwikkelt rigoureus denken dat ver buiten de wiskunde toepasbaar is!

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.

1Probeer het zelf

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.

2Probeer het zelf

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

Probeer eerst direct bewijs voor positieve uitspraken zoals 'Als A, dan B.' Als je vastloopt, overweeg bewijs uit het ongerijmde of de contrapositie. Direct bewijs werkt goed wanneer je de hypothese algebraïsch kunt manipuleren.
Probeer eerst direct bewijs voor positieve uitspraken zoals 'Als A, dan B.' Als je vastloopt, overweeg bewijs uit het ongerijmde of de contrapositie. Direct bewijs werkt goed wanneer je de hypothese algebraïsch kunt manipuleren.
QED staat voor 'quod erat demonstrandum' (Latijn voor 'wat bewezen moest worden'). Het geeft aan dat het bewijs compleet is. Sommige wiskundigen gebruiken een vierkant symbool (grafsteen) in plaats daarvan.
Elke stap moet worden gerechtvaardigd door een definitie, eigenschap of stelling. Als je stappen overslaat, riskeer je fouten te verbergen. Bij twijfel, voeg meer details toe.

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

Meer over dit onderwerp