Obrátená implikácia a obmena

K implikácii A ⇒ B patrí obrátená implikácia B ⇒ A a obmena B′ ⇒ A′. Obmena má vždy rovnakú pravdivosť ako pôvodná implikácia, preto sa na nej dajú stavať dôkazy. Obrátená implikácia môže byť pravdivá aj nepravdivá — keď platia obe, ide o ekvivalenciu A ⇔ B.

Čo tento generátor robí?

Ukáže implikáciu o deliteľnosti alebo veľkosti prirodzeného čísla. V ľahkej úrovni vyberáš obrátenú implikáciu alebo obmenu, v strednej rozhoduješ o ich pravdivosti, v ťažkej aj o pravdivosti ekvivalencie.

Ako ho používať

1) Označ si predpoklad a záver. 2) Obrátená implikácia ich len vymení. 3) Obmena ich vymení a obe zneguje. 4) Pri pravdivosti hľadaj kontrapríklad: číslo, ktoré spĺňa predpoklad, ale nie záver.