Logical Deduction

Deriving a conclusion from premises that are necessarily true.