Proof by exhaustion is used when there are only a finite number of cases for a hypothesis. This type of proof involves checking every single case to show that the conclusion holds true in all of them.
Proof by exhaustion is used when there are only a finite number of cases for a hypothesis. This type of proof involves checking every single case to show that the conclusion holds true in all of them.