We continue our discussion of our natural deduction system with the addition of a number of derived rules. These rules allow us to shorten our derivations, but, they need to be proved before they can be incorporated into the system.
No download links available.