Implikace a ekvivalence

NNP

umime.to/NNP

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í