What is disjunctive syllogism in philosophy?

It is a valid argument form, also known as modus tollendos ponens, in which: Either X or Y. Not X. Therefore, Y. Example: Either I play the violin or the piano. I do not play the violin. Therefore, I play the piano.