The classical principle of Moduls Tollendo Ponens, Disjunctive Syllogism allows you to infer the other side of a disjunction if you have the negation of a disjunct.
Preview shown for the Point And Click derivation type in the The Logic Book system
