Implikace a ekvivalence
Implikace a ekvivalence jsou složitější spojky, kterými je možné spojovat výroky.
Implikace
Implikace jsou tvrzení typu pokud–pak, konkrétněji pokud platí předpoklad, pak platí závěr. Pokud předpoklad neplatí, celé tvrzení je vždy pravdivé. Pokud platí předpoklad, pak je tvrzení pravdivé právě tehdy, když je pravdivý závěr.
Příklady implikací
- Pokud bude svítit slunce, pak půjdu ven.
- Pokud mi dnes zavolá babička, pak s ní půjdu do kina.
Ekvivalence
Ekvivalence jsou tvrzení typu právě tehdy, když, konkrétněji první výrok platí právě tehdy, když platí druhý výrok. Ekvivalence je pravdivá, pokud jsou oba výroky pravdivé, nebo pokud jsou oba výroky nepravdivé. Pokud je jeden z výroků pravdivý a druhý nepravdivý, pak je celé tvrzení nepravdivé.
Příklady ekvivalencí
- Přišel jsem do školy právě tehdy, když tam přišel pan učitel.
- Bábovku jsem měl ke snídani právě tehdy, když ji večer předtím mamka pekla.
Zavřít