Disjunctive Syllogism (DS)

Template
Sample argument	Symbolic Form
It's either (T)ed or (B)ob. It's not Ted. ----------------------- It's Bob	T + B ~T -------- B