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.
Eksempel 1
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
Eksempel 2
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 .
CC BY-SADán lea/leat čállán Stein Aanensen ja Olav Kristensen.
Maŋemusat ođastuvvon 11/19/2018