Ekvivalens

Hvis den logiske slutningen gjelder begge veier, sier vi at vi har en ekvivalens.
Tegnet «$\iff$» kalles en ekvivalenspil.

Eksempel

$x=2\iff 2x=4$

Vi leser $x=2$ er ekvivalent med at $2x=4$.

Dette betyr at det er implikasjon begge veier 

$x=2\Rightarrow 2x=4 \mathrm{og} 2x=4\Rightarrow x=2$

Vi har ikke ekvivalens i det første eksemplet fordi «Kaja bor i Norge» medfører ikke at «Kaja bor i Bergen».