Denying the Antecedent

See formal fallacies.

This fallacy has the following form:

$$ A \implies B $$$$ \lnot A $$$$ \therefore \lnot B $$

Just because A is not the case, does not mean that B is not the case. This roughly corresponds to a informal non sequitur