previous up next
Go backward to General Strategies
Go up to Top
Go forward to Contradictions
RISC-Linz logo

Direct Proof

Given some knowledge K and a goal G.

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

We do not know in advance whether G is true!

Author: Wolfgang Schreiner
Last Modification: November 30, 1999

previous up next