Discrete Structures [Lecture 11 / Segment 4] - Intro to proofs - Part 11/17

preview_player
Показать описание
Comparison of proof techniques for a theorem of the form p → q

00:00 Direct proof versus indirect proof (contraposition or contradiction)
06:31 How each proof technique uses the concept of a counterexample
Рекомендации по теме