誤謬の誤謬

$ \not\vDash ((\phi \to \psi) \land \lnot \phi) \to \lnot \psi