Introduction to Logic

Given ∀x.p(x), use the Fitch System to prove ¬∃xp(x).

Show Instructions
Fitch
Goal  Incomplete