Proof by Cases/Also known as

From ProofWiki
Jump to navigation Jump to search

Proof Rule

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