I need some help proving $$\neg(p \to q)\vdash p \wedge \neg q$$ using natural deduction.
So far I've tried using the Law of excluded middle ($p \lor \neg p$). With this approach, I can complete the first half but have no clue how to finish the rest.
The solution can make use of and, or, not, implies introduction/elimination and the law of excluded middle.
Any idea or help is appreciated!