INSTRUCTIONS: Construct a proof to show that the following argument is valid. When setting up the proof, remember to number each line and provide the justification for each step that you derive. You may copy the symbols for the operators from here: ~ · ∨ ⊃ ≡ ∃
1. (x)Hx ⊃ ~(∃y)My
2. (∃y)My / (∃x)∼Hx