A Guide to Proof Strategies

Usually, when you are working on a proof, you should use the logical forms of the givens and goals to guide you in choosing what proof strategies to use. Here is a summary of the various forms that givens and goals might take, the strategies that are most appropriate for each form, and how to carry out those strategies in Proof Designer. For a more complete explanation of these strategies, see my book How To Prove It, published by Cambridge University Press.

To Prove a Goal of the Form:

To Use a Given of the Form:

Techniques That Can Be Used in Any Proof