I forgot to state that I was using Dysjunctive Syllogism for two of the steps in my validity proof on my discrete math test. I hope they only take off a few points :(