관리자님!

아래 글에서 가정을 콜론을 이용하라고 하셨는데요. 그러면 

1. (∀x)(Px → (∃y)(Py & Ixy)) // ~(∃x)(Px & (∀y)(Py → ~Ixy))

2. (∃x)(Px & (∀y)(Py → ~Ixy)) : 가정

3. Pa & (∀y)(Py → ~Iay)) : 2, ∃ 제거

이런 식으로 하면 되는건가요??