Ekvivalencia (logika)

z Wikipédie, slobodnej encyklopédie
Skočit na navigaci Skočit na vyhledávání

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

Externé odkazy

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