Teória k nepriamemu dôkazu, pojem obmeny implikácie a dva riešené príklady, ktoré demonštrujú techniku priameho dôkazu. Predpokladom sú základné znalosti výrokovej logiky (pojmy implikácia a ekvivalencia).
Nepriamy dôkaz: dokazovanie obrátenej implikácie.
Kategórie vzdelávacích videí
Jazyk
Obtiažnosť