Exolemma Definition

A term used in logic to describe a special form of conditional proof in which the initial assumption is that the antecedent and the consequent are both true, and the goal is to derive a contradiction from this assumption, thereby proving that one of them must be false. It is a method in formal logic that deals with disjunction elimination.