Ekvivalencia (logika): Rozdiel medzi revíziami

Smazaný obsah Přidaný obsah
Luckas-bot (diskusia | príspevky)
d [r2.5.2] robot Pridal: es:Equivalencia lógica
d šablóna v jazyku
Riadok 1:
'''Ekvivalencia''' ([[latinčina{{V jazyku|lat.]] |aequivalentia - |''rovnoznačnosť''}}) je [[operácia logická|logická operácia]], ktorá spočíva v použití spojok typu "vtedy a len vtedy, keď" alebo "práve vtedy, keď" v [[usudzovanie|usudzovaní]]; často sa vyjadruje pomocou [[implikácia|implikácie]] a [[Konjunkcia (logika)|konjunkcie]]. Symbolicky sa označuje znakom <math>\Leftrightarrow \!\,</math>, alebo <math>\leftrightarrow</math>, ktorý sa nazýva ekvivalentor.
 
{| class="wikitable"