Disjunctive Argument
From a disjunction and the negation of one of the disjuncts, the other disjunct may be derived.
1. A disjunction is only false if both disjuncts are false.
2. If the negation of its disjuncts is true, then the other disjunct cannot be false or else it would make the entire disjunction false