Viss og berre viss

Viss og berre viss eller biimplikasjon er eit uttrykk som er vanleg i matematikk og logikk. «A viss og berre viss B» inneber at A og B er ekvivalente, og slik at A følgjer B som at B følgjer A. I matematikken seier ein at B er eit nødvendig og tilstrekkeleg krav for A.

I matematikken nyttar ein symbolet : 

Til dømes gjeld det at 

,

der pila vert lesen som «viss og berre viss» eller «er ekvivalent med».

Døme

Uttrykket  viss og berre viss  tyder to ting:
 Viss , så er .
 Viss , så er .

Sjå òg
Ekvivalens
Implikasjon
Konjunksjon
Distinksjon
Negasjon

Kjelder
Denne artikkelen bygger på «Om och endast om» frå ,  den 13. september 2011.  


Kategori:Logikk
Kategori:Matematisk terminologi
Kategori:Binære operasjonar

de:Logische Äquivalenz
fr:Équivalence logique
no:Om og bare om