rule of deduction

Definition of rule of deduction