Skip to content
Free public beta until December 4, 2026: every course is open, no card needed. After that, the first chapter of each course stays free and full access is a one-time $39 ($19 for up to 100 founding members chosen for helpful feedback). Your progress is kept. How the beta works

proof by contradiction

Assume the claim's negation, then derive an impossibility of the form R\wedge\neg R.

A proof by contradiction of C assumes \neg C and derives a statement of the form R\wedge\neg R, forcing C true.

Read the full section →
Graph settings

Calculator