술어논리 문제 질문좀

[익명(160.202)]

∀x.(p(x)⇒¬q(x))

∃x.p(x)⇒∀x.q(x)

결론이 ¬∃x.p(x)로 나와야 한다는데 어떻게 함?

[익명(117.111)]

두 번째 전제의 전건을 새로 가정한 후, 임의의 t에 대해 예화(P(t))하세요. 그러고나서 첫 번째 전제를 t에 대해 예화하면 q(t)이면서 -q(t)이니 모순임. 이제 새로운 가정을 -I 규칙으로 제거하세요.