Exhaustive Proof

When you have a statement in the form: $P_1\vee P_2\vee \dots P_n⟹Q$. Then, you must do case-based proofs.

1. Prove $P_1⟹Q$
2. Prove $P_2⟹Q$
3. …
4. Prove $P_n⟹Q$