Vad är skillnaden mellan att veta att något är sant och att kunna visa varför det måste vara sant? Det är skillnaden mellan ett påstående och ett bevis. En definition ger ett ord sin exakta innebörd — inte mer, inte mindre. En sats är ett påstående som kan bevisas. Och ett bevis är den logiska kedja som gör att ingen kan säga 'men varför skulle det stämma?' och ha rätt.
Många tror att ett bevis är att ge ett par exempel som stödjer påståendet. Men ett enda motexempel räcker för att slå hål på en sats — medan inga antal stödjande exempel någonsin kan bevisa den. 'Alla jämna tal är delbara med 4' verkar stämma för 4, 8 och 12, men 6 visar att det är falskt. Beviset måste fungera för alla fall, inte bara de du råkade testa.
Distinktionen definition–egenskap är lika viktig. En definition för parallellogram (fyrhörning med parallella motstående sidor) är inte detsamma som egenskaperna du kan bevisa utifrån den definitionen — att diagonalerna delar varandra mitt itu, till exempel. Att blanda ihop dem är att blanda ihop vad något är med vad man kan visa att det kan.
Ur kursplanen: Begreppen definition, sats och bevis.
Det här lär du dig
- ✓Skilja på vad en definition, en sats och ett bevis är
- ✓Förklara varför ett eller flera exempel inte utgör ett bevis
- ✓Ge ett motexempel för att visa att ett påstående är falskt
- ✓Bygga ett enkelt bevis som en kedja från känd sats till slutsats
- ✓Skilja på en definiton och härledda egenskaper för en geometrisk figur
Vanliga utmaningar
Tror att exempel räcker som bevis
Att visa att något stämmer för x = 2, 5 och 10 bevisar ingenting generellt. Beviset måste visa varför det gäller för alla värden — annars kan ett okänt motexempel alltid dyka upp och förstöra påståendet.
Blandar ihop motivering och bevis
'Det är rätvinkligt för att sidorna ser ut att vara 90 grader' är en förklaring, inte ett bevis. Beviset kräver en kedja: känd sats → logiskt steg → logiskt steg → slutsats, där varje pil kan motiveras.
Förväxlar definition med härledda egenskaper
En definition innehåller det minimala för att identifiera något. En egenskap är något extra som kräver ett bevis. Att diagonalerna i en kvadrat är vinkelräta är en egenskap — inte del av definitionen.
Matte i vardagen
Ett läkemedelsföretag påstår att ett nytt preparat 'löser migrän'.
Påståendet kräver en definition (vad betyder 'löser'?), en sats (preparatet minskar smärtan inom X minuter) och ett bevis (klinisk studie med kontrollgrupp). Utan det är det bara marknadsföring.
En ingenjör beräknar om en bro håller för lastbilar på 40 ton.
Hon definierar 'håller' (deformationen överstiger inte X mm), formulerar en sats om materialhållfasthet och bevisar den matematiskt. 'Det borde hålla' är inte ett godkänt ingenjörssvar.
Tips
- 💡Hitta ett motexempel till ett påstående du misstänker är falskt — det är det snabbaste sättet att förstå vad ett bevis egentligen gör och varför det behövs.
- 💡Skriv bevis som en pilkedja: Sats A → Steg 1 → Steg 2 → Slutsats. Varje pil måste kunna motiveras med en känd sats eller räkneregel.
- 💡Öva att skilja definition från egenskap: skriv minimaldefinitionen för en geometrisk figur och lista sedan egenskaper som kräver ett separat bevis.
Exempeluppgifter
- Vilken logisk lag ligger till grund för bevis genom motsatsen?
- I beviset för att $ ackslash ext{sqrt}{2}$ är irrationellt, vilken motsägelse uppstår om vi antar att $ ackslash ext{sqrt}{2} = ackslash rac{a}{b}$ där bråket är förenkat till lägst?
- Skriv nedanstående logiska påståenden i symbolisk form. Barry Bonds innehar Major League Baseballs rekord för totalt antal karriärs homeruns. Vissa däggdjur lever i havet. Ruth Bader Ginsburg tjänstgjorde vid USA:s högsta domstol från 1993 till 2020.
Testa dina kunskaper
Gör en gratis diagnos och se exakt var du behöver träna mer inom begreppen definition, sats och bevis.