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 , alebo , ktorý sa nazýva ekvivalentor.

p q p 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.