Ekvivalencia (logika)
Ekvivalencia (lat. aequivalentia – rovnoznač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.
Poďla definície je to funkcia dvoch premenných A a B, kde závislá premenná Y nadobúda hodnotu 1 iba vtedy, ak majú súčasne A aj B zhodné (totožné) hodnoty. Toto tvrdenie možno vyjadriť nižšie uvedenou pravdivostnou tabuľkou:
p | q | p q |
---|---|---|
1 | 1 | 1 |
1 | 0 | 0 |
0 | 1 | 0 |
0 | 0 | 1 |
Pozri aj
upraviťExterné odkazy
upraviť- FILIT – zdroj, z ktorého pôvodne čerpal tento článok.
- Ekvivalencia na pohodovamatematika.sk