Definition:Deduction

Definition
Deduction is the process in logic which derives new true statements from a set of premises, themselves assumed true.