En implikation som gäller i båda riktningar kallas för ekvivalens.

  En ekvivalens är en implikation och dess omvända.

  Ekvivalens betyder (logisk) likvärdighet. På latin: ekvi = lik, valens = värdighet.

\( \; \iff \;\; \) sätts mellan utsagor och ersätter \( \; = \; \) som sätts mellan uttryck eller tal.

  Är Pythagoras sats (påståendet i 5.3) en implikation eller en ekvivalens?

  Och i så fall mellan vilka utsagor?

  Är beviset av Pythagoras sats (5.3) ett bevis för implikation eller för ekvivalens?