命題論理での誤謬
後件肯定: $ \not\vDash ((\phi \to \psi) \land \psi) \to \phi 前件否定: $ \not\vDash ((\phi \to \psi) \land \lnot\phi) \to \lnot\psi 選言肯定: $ \not\vDash ((\phi \lor \psi) \land \phi) \to \lnot\psi 誤謬の誤謬: $ \not\vDash ((\phi \to \psi) \land \lnot \phi) \to \lnot \psi