Fágaartihkal
Ekvivalens
Ekvivalens er en implikasjon som gjelder begge veier.
Hvis den logiske slutningen gjelder begge veier, sier vi at vi har en ekvivalens.
Tegnet «» kalles en ekvivalenspil.
Vi ser på de to utsagnene
Vi vet fra før at disse utsagnene er ekvivalente. Da kan vi skrive
Vi leser er ekvivalent med at .
Dette betyr at det er implikasjon begge veier
Vi ser på utsagnene
: Kaja bor i Bergen
: Kaja bor i Norge
Vi vet at "Kaja bor i Bergen" medfører at "Kaja bor i Norge", eller . Men "Kaja bor i Norge" medfører ikke alltid at "Kaja bor i Bergen". Det er altså ikke ekvivalens mellom de to utsagnene og .