Logic and Philosophy, A. Hausman, H. Kahane, P. Tidman, Wadsworth, 11th ed., 2010, 13-1(5)

The usual: show that the argument is valid. The easiest way: assume a negation of the conclusion (indirect proof).

1. (∃x)[Px • (y)(Py ⊃ y = x) • Qx]
2. ¬ Qa
3. ∴¬ Pa
4. * ¬ ¬ Pa ......... AIP
5. * Pa ......... 4 DN
6. * Pm • (y)(Py ⊃ y = m) • Qm ......... 1 EI x/m
7. * (y)(Py ⊃ y = m) ......... 6 Simp.
8. * Pa ⊃ a = m ......... 7 UI y/a
9. * a = m ......... 5,8 MP
10. * ¬ Qm ......... 2, 9 Id
11. * Qm ......... 6 Simp.
12. * ¬ Qm • Qm ......... 10,11 Conj.
13. ¬ ¬ ¬ Pa ......... 4-12 IP
14. ¬ Pa ......... 13 DN