Go backward to General Strategies Go up to Top Go forward to Contradictions

Direct Proof

Given some knowledge K and a goal G.

1. We try

   K

   G

   . If we are successful, then G holds.
2. We try

   K

   ~G

   . If we are successful, then ~G holds.

We do not know in advance whether G is true!