The rule of inference which states that if a conditional statement and the negation of the consequent contained in it are both true, then the antecedent statement must be false. In logical notation (see logic), if p ⇒ q is true, and q is false, then p is false.