0 %
Už jen ekvivalence!
Ekvivalence je složený výrok s logickou spojkou, která se značí symbolem „\lrArr“ (čti: „právě tehdy, když“, případně „je ekvivalentní"). Ekvivalence je pravdivá pouze tehdy, když mají oba výroky stejnou pravdivostní hodnotu (bud' jsou oba pravdivé, anebo oba nepravdivé).
Například výrok t: „Radek dostane počítač právě tehdy, když bude mít na vysvědčení samé jedničky.“ Když bude mít jedničky a dostane počítač, tak je výrok pravdivý. Pokud nebude mít jedničky, nedostane počítač, což je také pravdivé. Jestliže by ale neměl jedničky, a přesto by dostal počítač (popř. měl jedničky a nedostal počítač), pak by už ekvivalence pravdivá nebyla.