Show that (P → Q) ↔ (¬P ∨ Q) in fitch