Ekvivalencia (logika)

Ekvivalencia (lat. aequivalentia – rovnoznačnosť) je logická operácia, ktorá spočíva v použití spojok typu "vtedy a len vtedy, keď" alebo "práve vtedy, keď" v usudzovaní; často sa vyjadruje pomocou implikácie a konjunkcie. Symbolicky sa označuje znakom ${\displaystyle \Leftrightarrow \!\,}$, alebo ${\displaystyle \leftrightarrow }$, ktorý sa nazýva ekvivalentor.

Def.--funkcia dvoch premenných A, B kde závisle premenná Y nadobúda hodnotu 1 iba vtedy, ak majú súčasne A aj B zhodné (totožné) hodnoty.

p	q	p ${\displaystyle \Leftrightarrow \!\,}$ q
0	0	1
0	1	0
1	0	0
1	1	1