# Denying the antecedent | | **Denying the antecedent**, sometimes also called inverse error or fallacy of the inverse, is a formal fallacy of inferring the inverse from an original statement. It is a type of mixed hypothetical syllogism in the form:If P, then Q. Not P. Therefore, not Q. | |-|-| | | wikipedia:: [Denying the antecedent](https://en.wikipedia.org/wiki/Denying_the_antecedent) | sometimes also called inverse error or fallacy of the inverse From [[Modus Ponens]] ## Fallacy P > Q ~P Thus, not Q Valid conclusion: ~P v Q