Discrete Mathematics: Proving the Validity of Arguments?

Yes, it is. I would write "conjunction elimination" instead of "simplification" (also, "conjunction introduction" in step 7), in keeping with modern terminology, but it's probably best if you stick to whatever terminology your teacher is using.