Affirming the consequent
Affirming the consequent is a logical fallacy, which covers all arguments of the form:
- If A, then B.
- B is true.
- Therefore A must be true.
- If something is an elephant, it must have a tail.
- All mice have tails.
- Therefore, all mice are elephants.