Matematisk argumentation
Koncept

Ekvivalens

Ordet ekvivalens kan tolkas som likvärdig. Om två uttryck har samma värde, som och eller om två påståenden har samma innebörd säger man att de är ekvivalenta. Påstående Triangeln är rätvinklig är helt likvärdigt (ekvivalent) med påstående Pythagoras sats gäller, eftersom detta är en implikation som gäller åt båda håll.
Påstående Implikation
Om triangeln är rätvinklig
så gäller Pythagoras sats.
Om Pythagoras sats gäller
så är triangeln rätvinklig.

Man kan därför kombinera pilarna för att få tecknet för ekvivalens, vilket är en dubbelpil.

Övningar