選言肯定

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