(p v q)   (p v q) disjunctive syllogism

(ds)
~p     ~q    
q p