Video obsahuje tri rozličné riešené príklady, ktoré demonštrujú techniku priameho dôkazu.
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).
Priamy dôkaz.
Nepriamy dôkaz: dokazovanie obrátenej implikácie.
Kategórie vzdelávacích videí
Jazyk
Obtiažnosť