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