Direct deduction has the merit of being simple to understand. Unfortunately, as we have seen, the proofs can easily become unwieldy. The deduction theorem helps. It assures us that, if we have a proof of a conclusion form premises, there is a proof of the corresponding implication. However, that assurance is not itself a proof. Natural deduction cures this deficiency through the use of conditional proofs.
|