Ekvivalencia (logika)

z Wikipédie, slobodnej encyklopédie
Prejsť na: navigácia, hľadanie

Ekvivalencia (lat. aequivalentiarovnoznač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[upraviť | upraviť zdroj]

Externé odkazy[upraviť | upraviť zdroj]

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