Lesson 8 of 16 · about 14 min
Direct proof
The most common kind of proof walks straight from what you know to what you want. You'll learn the template (let, unpack the definition, compute, repack), prove facts about odd numbers and divisibility, and spot a sneaky mistake in a proof that looks fine.
🔓 Unlock this lesson
This lesson is part of the DoingCamp Pass. Members get every lesson in every course, with all the interactive visuals, coding exercises and challenges.
In this lesson you'll learn:
- Direct proof
- Arbitrary element
- Divides (a | b)
Free to try in F05 Logic & Proofs:
The first 3 lessons of every course are free, no account needed.