Ekvivalencia (logika)

Ekvivalencia (Šablóna:V jazyku) 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 $\iff$ alebo $\leftrightarrow$, 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 $\iff$ q
1	1	1
1	0	0
0	1	0
0	0	1

Pozri aj

• Konjunkcia
• Disjunkcia
• Implikácia
• Negácia

Externé odkazy

• Šablóna:Filit
• Ekvivalencia na pohodovamatematika.sk