nLab deduction

Idea

In logic, a deduction or derivation is a part of a proof, drawing a conclusion from certain premises. See:

Last revised on January 28, 2015 at 17:41:06. See the history of this page for a list of all contributions to it.