Proof by contradiction

following since I have a similar problem

Confused about the either/or bit here; in logic games, I'm pretty sure we understand either x or y to encompass three possibilities: only x, only y, x and y. But here, I don't really see how we can abandon the notion and reject Mather's definition. What am I missing?

#help (Added by Admin)