Ekvivalence
Z Wikipedie, otevřené encyklopedie
Ekvivalence (z lat. aeque, stejně a valere, platit) obecně znamená rovnocennost, stejnou platnost, rovnomocnost a z toho případně plynoucí záměnnost. V matematice a v logice se označuje znakem ⇔.
Pojem ekvivalence se používá v mnoha různých souvislostech, například:
- Ekvivalence (logika) – v logice je ekvivalence jedním z logických operátorů.
- Ekvivalence (matematika) – v matematice, konkrétněji v algebře a teorii množin je ekvivalence jedním z typů binární relace – musí splňovat podmínky reflexivity, symetrie a tranzitivity.
Ekvivalentní jsou dva výroky, pojmy, prvky, ceniny a podobně, pokud mají stejný význam, hodnotu, účinnost, platnost atd. a jsou tudíž zaměnitelné.