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 $\Leftrightarrow \!\,$, alebo $\leftrightarrow$, ktorý sa nazýva ekvivalentor.

p	q	p $\Leftrightarrow \!\,$ q
0	0	1
0	1	0
1	0	0
1	1	1

Pozri aj

• Konjunkcia
• Disjunkcia
• Implikácia
• Negácia

Externé odkazy

• FILIT – zdroj, z ktorého pôvodne čerpal tento článok.