Proof by Cases/Also known as
Jump to navigation
Jump to search
Proof Rule
Proof by Cases is also known as the rule of or-elimination.
Proof by Cases is also known as the rule of or-elimination.