Vilken figur har större area?

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.

Exempel på ekvivalens

Ä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?