House of Math-logo

Hva er forskjellen på implikasjon og ekvivalens?


Implikasjon ( , ) og ekvivalens () er to svært viktige logiske forbindelser. På denne siden skal du bli bedre kjent med disse symbolene og hvordan de virker i matematikken.

Logikk er nemlig læren om tenkningens lover. Den forutsetter korrekte og holdbare resonnementer, slutninger og bevisførsler som følge av regler, prinsipper, lover og begreper. Logikken har sine røtter i Aristoteles’ tid. I matematikken bruker du fundamentet fra logikken når du gjennomfører beviser.

Så hvordan henger dette sammen? Uten at du kanskje tenker over det, har du allerede jobbet mye med logikk i forkledning. Å løse en likning er en logikkøvelse, der du leter etter et svar slik at likheten blir sann. Og det er nå det blir spennende. Her er to eksempler på hvordan implikasjon og ekvivalens kan se ut:

Når du ser en implikasjonspil ( , ) leser du den «hvis-så». Slik som

Hvis Bono er vokalist i U2, så er han en del av bandet U2.

Dersom det er en ekvivalenspil ( ) leser du denne «hvis og bare hvis». Slik som

2x = 4 hvis og bare hvis x = 2.

Generelt har du at:

Teori

Implikasjon

p q

Tilfellet der et utsagn q automatisk er sant dersom et utsagn p er sant. Du sier at «p impliserer q» eller «hvis pq».

En implikasjon gjelder bare én vei. Det vil si at q alltid er sann hvis p er sann. Men, selv om q er sann så trenger ikke p være sann.

Eksempel 1

Se på setningen:

Hvis Ida bor i Oslo, så bor hun i Norge.

(p q, men ikke p q)

Hvis Ida bor i Norge, så må hun ikke bo i Oslo.

Dette er en implikasjon siden utsagnet kun er sant én vei. Du kan ikke konkludere at dersom Ida bor i Norge så bor hun i Oslo. Hun kan for eksempel bo i Bergen.

Eksempel 2

Se på setningen:

Hvis det regner, så blir det vått på gaten.

(p q, men ikke p q)

Hvis det er vått på gaten, så må det ikke ha regnet.

Det kan ha vært naboens hund som har tisset, eller far som har vannet rosene.

Teori

Ekvivalens

p q

Tilfellet der et utsagn q automatisk er sant dersom et utsagn p er sant (p q), og slik at et utsagn p automatisk er sant dersom et utsagn q er sant (p q).

Du sier at p er ekvivalent med q, siden implikasjonen går begge veier. Du har altså «p hvis og bare hvis q». At to ting er ekvivalente vil si at du har en likhet.

Eksempel 3

La oss se på slektskapet mellom David Beckham og sønnen Brooklyn Beckham.

Brooklyn er sønnen til David, hvis og bare hvis David er faren til Brooklyn.

(p q)

Brooklyn er sønnen til David er ekvivalent med at David er faren til Brooklyn. Dette kan du dele inn i to implikasjoner:

Hvis Brooklyn er sønnen til David, så er David faren til Brooklyn.

(p q)

Altså, Brooklyn er sønnen til David impliserer at David er faren til Brooklyn. I tillegg:

Hvis David er faren til Brooklyn, så er Brooklyn sønnen til David.

(p q)

Altså, at David er faren til Brooklyn impliserer at Brooklyn er sønnen til David.

Siden du har implikasjon to veier, kan du heller si at du har en ekvivalens.

Eksempel 4

Se på følgende påstand:

I en trekant er alle vinklene like store, hvis og bare hvis alle sidene er like lange.

(p q)

Denne ekvivalensen består av to implikasjoner (her er p = «alle vinklene i trekanten er like store» og q = «alle sidene i trekanten er like lange»):

Hvis alle vinklene i en trekant er like store, så er alle sidene i trekanten like lange.

(p q)

og

Hvis alle sidene i en trekant er like lange, så er alle vinklene i trekanten like store.

(p q)

Merk at selv om ekvivalensen er sann behøver ikke de to påstandene i den være sanne, for det finnes jo trekanter som ikke er likesidede. Det ekvivalensen sier er at om den ene er sann, så må den andre også være det, og motsatt. Så om du vet at en trekant er likesidet, så vet du også at alle vinklene i den er like store, og om du vet at alle vinklene i en trekant er like store, så må alle sidene også være like lange.

Eksempel 5

Om 2x = 4, må x = 2. Dette betyr at

2x = 4 x = 2.

Men du vet også at om x = 2, så er 2x = 4. Slik at

2x = 4 x = 2.

Siden implikasjonen går begge veier er uttrykkene ekvivalente og du skriver

2x = 4 x = 2.

Vil du vite mer?Registrer degDet er gratis!
Pil som peker til venstreForrige oppslag
Hva er et matematisk bevis?
Neste oppslagPil som peker til høyre
Hva er et direkte bevis?

Hva er forskjellen på implikasjon og ekvivalens?

Ikon for tall og målingTall og måling
Algebra-ikonAlgebra
Geometri-ikonGeometri
Ikon for statistikk og sannsynlighetStatistikk og sannsynlighet
Funksjoner-ikonFunksjoner
Bevis-ikonBevis