Chapter Five, Tutorial Six
Putting it All Together: Safeguards and Strategies for More Complex Derivations

Reasoning is often complicated. In this tutorial we consider strategy for working on more difficult or complicated problems and safeguards against common errors. And we'll put everything we learn together to show how derivations are good tests for logical equivlance, logical truth, and of course validity of arguments.

But first let's think about some safeguards against common pitfalls...