Discrete Structures

Proof Strategies

Last Update: 24 February 2009

Note: NEW or UPDATED material is highlighted


Meta-strategies (i.e., strategies for using the strategies):

  1. Determine the logical form of the theorem to be proved.
    Then use an appropriate strategy.

  2. If more than one strategy is applicable,
    then try each of them until you find one that works.

Specific Strategies:




Copyright © 2009 by William J. Rapaport (rapaport@cse.buffalo.edu)
http://www.cse.buffalo.edu/~rapaport/191/S09/pfstrat.html-20090224