Obrácená implikace a obměna

K implikaci A ⇒ B patří obrácená implikace B ⇒ A a obměna B′ ⇒ A′. Obměna má vždy stejnou pravdivostní hodnotu jako původní implikace, proto se na ní dají stavět důkazy. Obrácená implikace může být pravdivá i nepravdivá — když platí obě, jde o ekvivalenci A ⇔ B.

Co tento generátor dělá?

Ukáže implikaci o dělitelnosti nebo velikosti přirozeného čísla. Na lehké úrovni vybíráš obrácenou implikaci nebo obměnu, na střední rozhoduješ o jejich pravdivosti, na těžké i o pravdivosti ekvivalence.

Jak ho používat

1) Označ si předpoklad a závěr. 2) Obrácená implikace je jen prohodí. 3) Obměna je prohodí a obě zneguje. 4) U pravdivosti hledej protipříklad: číslo, které splňuje předpoklad, ale ne závěr.