Logic Lecture Notes: Disjunctive Syllogism