Tag: disjunction elimination

Disjunction Elimination

Disjunction elimination, also known as proof by cases, is a fundamental rule…

Bossmind