Principle of Dilemma

Formulation 2

 * $\left({p \implies q}\right) \land \left({\neg p \implies q}\right) \iff q$

Also known as
This proof structure is also referred to as proof by cases but it is usual to reserve that name for a more general concept.

Also see

 * Proof by Cases