logic proof with Fitch System I am stuck with using Fitch system to construct a proof of ¬(P → Q) ↔ (P ∧ ¬Q) with no premises. This is what I have done ![](

I could not put them all in one post. Thus, I divided them into three parts

![](

* * *

![](

Thank you Bram28