Go backward to Example Go up to Top Go forward to Proof Directions

Indirect Proof

Given some knowledge K and a goal G.

1. We try

   K union {~G}

   F(alse)

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

   K union {G}

   F(alse)

   . If we are successful, then ~G holds.

We will see some examples for special situations.