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.

Def.--funkcia dvoch premenných A, B kde závisle premenná Y nadobúda hodnotu 1 iba vtedy, ak majú súčasne A aj B zhodné (totožné) hodnoty.

p q p q
0 0 1
0 1 0
1 0 0
1 1 1

Pozri aj[upraviť | upraviť kód]

Externé odkazy[upraviť | upraviť kód]