Affirming a disjunct – concluded that one logical disjunction must be false because the other disjunct is true; A or B; A; therefore not B.