보편예화 질문

[sdf(221.168)]

1) (∃x)(∀y)Fxy

∴ {1} (2) (∃x)Fxb         by 보편예화

저거 틀린 논증이라는데 결론은 맞는데 방법이 틀렸다는것인지, 결론도 틀렸다는 건지 궁금해요

[PaulSohn(paulsohn)]

가장 바깥쪽에 있는 양화사만 예화할 수 있습니다. 다만 명제 자체는, ∃x를 먼저 (a 같은 걸로) 예화한 경우, ∀y를 b로 예화하고, a를 다시 ∃x로 보편화해서 유도하면 맞습니다.