Introduction to Logic

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

Show Instructions
Fitch
Goal  Incomplete