Chapter 5, Tutorial 1
Derivations with MP, MT, and DS

Derivations are a kind of step-by-step deduction of a series of conclusions, each leading to the next.

For example...