Least You Need to Know: Contradiction Patterns
Ouvrir la leçon
In proof by contradiction, assume the target claim is false and drive the assumption to something impossible, often a parity clash or a definition failure.