Hopp til innhald

Viss og berre viss

Frå Wikipedia – det frie oppslagsverket

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».

Uttrykket viss og berre viss tyder to ting:

  1. Viss , så er .
  2. Viss , så er .