Denial of the precedent

Denial of the precedent

Empty implication: p involves q, so if not p, not q

Denial of the Antecedent or Empty Implication is a formal fallacy committed when it is stated that if a consequence follows a premise, then if the premise is false, so is the consequence:

It is known that A causes B A is false, therefore B is also false