Proof by Cases/Also known as

Proof Rule

Proof by Cases is also known as the rule of or-elimination.