filmov
tv
Discrete Structures [Lecture 11 / Segment 4] - Intro to proofs - Part 11/17
Показать описание
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
00:00 Direct proof versus indirect proof (contraposition or contradiction)
06:31 How each proof technique uses the concept of a counterexample