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 $\iff$:

$A\iff B\text{ er det same som }(A\Rightarrow BogB\Rightarrow A)$

Til dømes gjeld det at

$a-b=c\iff a=b+c$,

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

Døme

Uttrykket $1+1=2$ viss og berre viss $1=2-1$ tyder to ting:

1. Viss $1+1=2$, så er $1=2-1$.
2. Viss $1=2-1$, så er $1+1=2$.

Sjå òg

• Ekvivalens
• Implikasjon
• Konjunksjon
• Distinksjon
• Negasjon

Kjelder

• Denne artikkelen bygger på «Om och endast om» frå Mal:Wikipedia-utgåve, den 13. september 2011.