If p → q holds and q is false, then p is false. The 'denying the consequent' inference rule. Derivable from modus ponens + contrapositive.
If p → q holds and q is false, then p is false. The 'denying the consequent' inference rule. Derivable from modus ponens + contrapositive.