Ekvivalencia (logika): Rozdiel medzi revíziami

'''Ekvivalencia''' ({{V jazyku|lat|aequivalentia|''rovnoznačnosť''}}) je [[operácia logická|logická operácia]], ktorá spočíva v použití spojok typu "vtedy a len vtedy, keď" alebo "práve vtedy, keď" v [[usudzovanie|usudzovaní]]; často sa vyjadruje pomocou [[implikácia|implikácie]] a [[Konjunkcia (logika)|konjunkcie]]. Symbolicky sa označuje znakom <math>\Leftrightarrow \!\,</math>, alebo <math>\leftrightarrow</math>, ktorý sa nazýva ekvivalentor.