Proof Directions
- Top-Down: decomposing the goal into simpler formulas
with corresponding subproofs.
~~>
...
- Bottom-Up: deriving new knowledge from the given knowledge
such that the goal ultimately becomes part of the knowledge.
~~>
We usually begin with the top-down strategy.
Author: Wolfgang Schreiner
Last Modification: November 30, 1999