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