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