Begrepp

Ekvivalens

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

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

$A \Leftrightarrow B$