Disjunction elimination, also known as proof by cases, is a fundamental rule of inference. It allows concluding a statement R…