Proof by Cases

Home > Philosophy > Logic > Formal Proof > Proof by Cases

In this type of proof, we break the hypothesis into several cases, and then prove that the conclusion holds true for each one of them.