disjunctive syllogism

inference rule in logics : with "A or B" and "not A" deduce "B"

Categories: