Ekvivalencia (logika)

Z Wikipédie

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

[úprava] Externé odkazy

  • FILIT Zdroj, z ktorého pôvodne čerpal tento článok
  • Výroková logika Logické hádanky, na ktorých riešenie treba využiť logické operácie.