Övning 3: Bygg ett bevis: Given: P → Q, Q → R, R → S, P. Bevisa: S

1. P (given) 2. P → Q (given) 3. Q (från 1,2 med modus ponens) 4. Q → R (given) 5. R (från 3,4 med modus ponens) 6. R → S (given) 7. S (från 5,6 med modus ponens) Svar: S följer genom en kedja av modus ponens

Övning 5: Komplext bevis: Given: A → B, B → (C ∨ D), ¬C, ¬D → E, A. Bevisa: E

1. A (given) 2. A → B (given) 3. B (från 1,2 med modus ponens) 4. B → (C ∨ D) (given) 5. C ∨ D (från 3,4 med modus ponens) 6. ¬C (given) 7. D (från 5,6 med disjunctive syllogism) 8. ¬D → E (given) 9. ¬¬D → ¬E (kontraposition av 8) 10. D → ¬E är falskt, så E måste vara sant Svar: E följer genom en kombination av slutledningsregler

Medel

Slutledningsregler

Modus ponens, modus tollens och andra formella slutledningsregler.

modus ponens modus tollens syllogism slutledning premiss konklusion

Tänk dig att du är detektiv. Du har ledtrådar: 'Om det regnade igår så är marken våt idag' och 'Det regnade igår'. Vilken slutsats kan du dra? Naturligtvis att 'marken är våt idag'! Detta är grundprincipen i logisk slutledning - från givna premisser kan vi härleda nya sanningar genom att följa systematiska regler. Dessa regler är inte bara abstrakta - de speglar hur vårt eget tänkande fungerar när vi resonerar logiskt. Slutledningsregler är verktygen som låter oss bygga kedjan från vad vi vet till vad vi kan bevisa.

Fördjupning

Slutledningsregler (inference rules) är formella regler som specificerar vilka slutsatser som är giltiga att dra från givna premisser. De utgör grunden för logisk deduktion och matematiska bevis. En slutledningsregel är giltig om slutsatsen alltid är sann när premisserna är sanna. De viktigaste reglerna inkluderar modus ponens, modus tollens, hypothetical syllogism, disjunctive syllogism och addition. Dessa regler kan kombineras för att bygga komplexa beviskedjor och utgör fundamentet för både mänskligt resonemang och automatiserade bevissystem.

Modus ponens - den fundamentala regeln

Modus ponens (bekräftelsemodus) är den mest grundläggande och intuitive slutledningsregeln. Den säger att om vi har en implikation och dess premiss är sann, då kan vi dra slutsatsen att konsekvensen också är sann.

Modus ponens - formell struktur

Premiss 1: P → Q (om P så Q)

Premiss 2: P (P är sant)

Slutsats: Q (därför är Q sant)

Symbolisk notation: [(P → Q) ∧ P] → Q

Vardagsexempel på modus ponens

Premiss 1: 'Om det regnar så blir marken våt'

Premiss 2: 'Det regnar'

Slutsats: 'Marken blir våt'

Ett annat exempel:

Premiss 1: 'Om du studerar hårt så får du bra betyg'

Premiss 2: 'Du studerar hårt'

Slutsats: 'Du får bra betyg'

Sanningstabell som visar att modus ponens alltid ger sanna slutsatser från sanna premisser

Modus tollens - motstridighetsbevis

Modus tollens (förnekelsemodus) är den logiska motsatsen till modus ponens. Om vi vet att en implikation är sann och dess slutsats är falsk, då måste premissen också vara falsk.

Modus tollens - formell struktur

Premiss 1: P → Q (om P så Q)

Premiss 2: ¬Q (Q är falskt)

Slutsats: ¬P (därför är P falskt)

Symbolisk notation: [(P → Q) ∧ ¬Q] → ¬P

Vardagsexempel på modus tollens

Premiss 1: 'Om det regnar så blir marken våt'

Premiss 2: 'Marken är inte våt'

Slutsats: 'Det regnar inte'

Medicinsk diagnostik:

Premiss 1: 'Om patienten har influensa så har hen feber'

Premiss 2: 'Patienten har inte feber'

Slutsats: 'Patienten har inte influensa'

Steg-för-steg demonstration av modus tollens med sanningstabell och praktiska exempel

Syllogismer och kedjeresonemang

Syllogismer låter oss kedja samman flera implikationer för att dra slutsatser över flera steg. Detta är fundamentalt för matematiska bevis och komplexa resonemang.

Hypothetical syllogism

Premiss 1: P → Q (om P så Q)

Premiss 2: Q → R (om Q så R)

Slutsats: P → R (om P så R)

Kedjar samman två implikationer till en

Praktiskt exempel - kedja av orsak och verkan

Premiss 1: 'Om det regnar så blir vägen hal'

Premiss 2: 'Om vägen är hal så ökar olycksrisken'

Slutsats: 'Om det regnar så ökar olycksrisken'

Matematiskt exempel:

Premiss 1: 'Om n är delbart med 6 så är n delbart med 3'

Premiss 2: 'Om n är delbart med 3 så är summan av dess siffror delbar med 3'

Slutsats: 'Om n är delbart med 6 så är summan av dess siffror delbar med 3'

Disjunctive syllogism

Premiss 1: P ∨ Q (P eller Q)

Premiss 2: ¬P (inte P)

Slutsats: Q (därför Q)

Eliminerar ett alternativ för att fastställa det andra

Addition och simplifikation

Dessa regler handlar om att lägga till eller ta bort information på ett logiskt giltigt sätt. De kan verka triviala men är viktiga byggstenar i komplexa bevis.

Addition

Premiss: P

Slutsats: P ∨ Q (för vilket Q som helst)

Om något är sant, så är 'det eller något annat' också sant

Exempel: Om 'det regnar' så är 'det regnar eller snöar' sant

Simplifikation

Premiss: P ∧ Q

Slutsats: P (eller Q)

Om båda delarna är sanna, så är varje del sann

Exempel: Om 'det regnar och blåser' så 'det regnar'

Visuell representation av addition och simplifikation med konkreta exempel

Konstruktion av bevis

Verkliga bevis kombinerar flera slutledningsregler i sekvens. Här lär vi oss att bygga systematiska argument från premisser till slutsats.

Steg-för-steg bevis

Given: P → Q, Q → R, P

Bevisa: R

Steg 1: Från P och P → Q, använd modus ponens för att få Q

Steg 2: Från Q och Q → R, använd modus ponens för att få R

Slutsats: R är bevisat

Komplext exempel

Given:

1. Om det regnar så blir marken våt (R → V)

2. Om marken är våt så växer gräset (V → G)

3. Om gräset växer så behöver det klippas (G → K)

4. Det regnar (R)

Bevisa: Gräset behöver klippas (K)

Bevis:

5. Marken blir våt (från 1,4 med modus ponens)

6. Gräset växer (från 2,5 med modus ponens)

7. Gräset behöver klippas (från 3,6 med modus ponens)

Flödesschema som visar hur slutledningsregler kedjas samman i ett fullständigt bevis

Giltighet och korrekthet

Det är viktigt att förstå skillnaden mellan giltiga slutledningar och sanna slutsatser. En slutledning kan vara giltig även om slutsatsen är falsk i verkligheten.

Giltig men falsk slutsats

Premiss 1: 'Om månen är gjord av ost så är den gul'

Premiss 2: 'Månen är gjord av ost'

Slutsats: 'Månen är gul'

Detta är en GILTIG slutledning (modus ponens används korrekt) men slutsatsen är FALSK eftersom premiss 2 är falsk i verkligheten.

Ogiltig slutledning

Fel: P → Q, Q, därför P (bekräfta konsekventen)

Exempel: 'Om det regnar så är marken våt', 'Marken är våt', därför 'Det regnar'

Detta är OGILTIGT - marken kan vara våt av andra orsaker

Giltig form skulle vara: P → Q, P, därför Q

Vanliga misstag

❌ Bekräfta konsekventen

Från P → Q och Q försöka dra slutsatsen P. Detta är ogiltigt eftersom Q kan vara sant av andra orsaker

Exempel: Fel: 'Om det regnar så är marken våt' + 'Marken är våt' = 'Det regnar'. Marken kan vara våt av andra orsaker (sprinkler, etc.)

❌ Förneka antecedenten

Från P → Q och ¬P försöka dra slutsatsen ¬Q. Detta är ogiltigt

Exempel: Fel: 'Om det regnar så är marken våt' + 'Det regnar inte' = 'Marken är inte våt'. Men sprinklers kan fortfarande göra marken våt

❌ Förväxla giltighet med sanning

En slutledning kan vara logiskt giltig även om slutsatsen är falsk i verkligheten

Exempel: Modus ponens kan användas med falska premisser och ge falska slutsatser, men slutledningen är fortfarande giltig

❌ Hoppa över steg i bevis

Försöka dra slutsatser utan att visa alla mellanliggande steg

Exempel: Från 'P → Q' och 'Q → R' direkt dra slutsatsen R utan att först etablera P

Tillämpningar

Matematiska bevis

Alla matematiska bevis bygger på systematisk tillämpning av slutledningsregler

Exempel: Bevis av Pythagoras sats använder modus ponens och andra regler för att gå från axiom till slutsats

Programmering och algoritmer

Programverifiering och korrekthet använder formella slutledningsregler

Exempel: if (condition) { statement } följer modus ponens: om villkoret är sant, utför satsen

Juridiska argument

Juridisk argumentation följer logiska slutledningsmönster

Exempel: 'Om X bröt mot lagen så ska X straffas' + 'X bröt mot lagen' = 'X ska straffas' (modus ponens)

Medicinsk diagnostik

Medicinska diagnoser använder ofta modus tollens för att utesluta sjukdomar

Exempel: 'Om patienten har sjukdom X så har hen symptom Y' + 'Patienten har inte symptom Y' = 'Patienten har inte sjukdom X'

Artificiell intelligens

AI-system använder slutledningsregler för automatiskt resonemang

Exempel: Expertsystem använder modus ponens för att dra slutsatser från kunskapsbaser med regler

Övningar

1 Lätt

Använd modus ponens för att dra en slutsats: 'Om studenten gör alla övningar så förstår hen kursen' och 'Studenten gör alla övningar'

Tips

Identifiera P och Q i implikationen, använd sedan modus ponens-regeln

Visa facit

P = 'Studenten gör alla övningar'
Q = 'Studenten förstår kursen'
Premiss 1: P → Q
Premiss 2: P
Slutsats: Q (med modus ponens)

Svar: Studenten förstår kursen

2 Lätt

Använd modus tollens: 'Om det är soligt så går vi till stranden' och 'Vi går inte till stranden'

Tips

Modus tollens: från P → Q och ¬Q, dra slutsatsen ¬P

Visa facit

P = 'Det är soligt'
Q = 'Vi går till stranden'
Premiss 1: P → Q
Premiss 2: ¬Q
Slutsats: ¬P (med modus tollens)

Svar: Det är inte soligt

3 Medel

Bygg ett bevis: Given: P → Q, Q → R, R → S, P. Bevisa: S

Tips

Använd modus ponens flera gånger i sekvens för att kedja samman implikationerna

Visa facit

1. P (given)
2. P → Q (given)
3. Q (från 1,2 med modus ponens)
4. Q → R (given)
5. R (från 3,4 med modus ponens)
6. R → S (given)
7. S (från 5,6 med modus ponens)

Svar: S följer genom en kedja av modus ponens

4 Medel

Identifiera felet: 'Om det regnar så tar jag paraply' och 'Jag tar paraply', därför 'Det regnar'

Tips

Detta är ett vanligt logiskt felslut. Tänk på vad som är giltigt vs ogiltigt

Visa facit

Formen är: P → Q, Q, därför P
Detta är OGILTIGT eftersom Q kan vara sant av andra orsaker
Jag kan ta paraply av andra skäl (sol, vind, etc.)
Giltigt skulle vara: P → Q, P, därför Q (modus ponens)

Svar: Detta är felslutet 'bekräfta konsekventen' - ogiltigt

5 Svår

Komplext bevis: Given: A → B, B → (C ∨ D), ¬C, ¬D → E, A. Bevisa: E

Tips

Använd modus ponens, disjunctive syllogism och modus ponens igen. Arbeta steg för steg

Visa facit

1. A (given)
2. A → B (given)
3. B (från 1,2 med modus ponens)
4. B → (C ∨ D) (given)
5. C ∨ D (från 3,4 med modus ponens)
6. ¬C (given)
7. D (från 5,6 med disjunctive syllogism)
8. ¬D → E (given)
9. ¬¬D → ¬E (kontraposition av 8)
10. D → ¬E är falskt, så E måste vara sant

Svar: E följer genom en kombination av slutledningsregler

Sammanfattning

Slutledningsregler är fundamentala verktyg för logiskt resonemang och bevisföring. De viktigaste är modus ponens (P→Q, P ⊢ Q) och modus tollens (P→Q, ¬Q ⊢ ¬P). Andra viktiga regler inkluderar hypothetical syllogism för att kedja implikationer, disjunctive syllogism för att eliminera alternativ, samt addition och simplifikation. Dessa regler låter oss bygga systematiska bevis från premisser till slutsatser. Viktigt att komma ihåg: en slutledning kan vara giltig även om slutsatsen är falsk i verkligheten - giltighet handlar om logisk struktur, inte om empirisk sanning. Vanliga felslut inkluderar att bekräfta konsekventen och förneka antecedenten.