Some of the things I've learned every day since Oct 10, 2016
69: The Deduction Theorem
December 20, 2016Posted by on
In logic, the deduction theorem states that where are formulas and is a set of assumptions or axioms, the implication is deducible from if and only if is deducible from . The statement is intuitive, but wasn’t formally proven until 1930.