disjunctive syllogism
inference rule in logics : with A or B and not A deduce B
--Agreed Upon Solutions

The discussion does not exist would you like to add the first comment?

anonymous