It is a fallacy in formal logic where in a standard if/then premise, the antecedent (what comes after the “if”) is made not true, then it is concluded that the consequent (what comes after the “then”) is not true.
Examples:
- If it barks, it is a dog. It doesn’t bark. Therefore, it’s not a dog.
Synonyms: inverse error, inverse fallacy