rule of detachment

rule of detachment

[′rül əv di‚tach·mənt] (mathematics) The rule that if an implication is true and its antecedent is true, then the consequent is true.