前件否定
$ \not\vDash ((\phi \to \psi) \land \lnot\phi) \to \lnot\psi
#誤謬
#命題論理での誤謬