0 %
Už len ekvivalencia!
Ekvivalencia je zložený výrok s logickou spojkou, ktorá sa označuje symbolom „ \( \Leftrightarrow \) “ (čítaj: „práve vtedy, keď, prípadne „je ekvivalentný"). Ekvivalencia je pravdivá iba vtedy, keď majú obidva výroky rovnako pravdivostnú hodnotu (alebo sú obidva pravdivé, alebo obidva nepravdivé).
Napríklad výrok T: „Rado dostane počítač práve vtedy, keď” bude mať na vysvedčení samé jednotky.“ Keď bude mať jednotky a dostane počítač, tak je výrok pravdivý. Pokiaľ nebude mať jednotky, nedostane počítač, a to je tiež pravdivý výrok. Ale ak by nemal jednotky, a predsa by dostal počítač (prípadne by mal jednotky a počítač nedostal), vtedy by už ekvivalencia pravdivá nebola.