Ekvivalencia (logika)

Ekvivalencia () 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:

pqp   q 1  1  1 1  0  0 0  1  0 0  0  1

 Pozri aj 

 Konjunkcia
 Disjunkcia
 Implikácia
 Negácia

 Externé odkazy 

 Ekvivalencia na  pohodovamatematika.sk 

Kategória:Logika