Go backward to Direct Proof Go up to Top Go forward to Contradiction

Contradictions

Proposition: For proving with knowledge K the goal G, it suffices to prove F(alse) with additional knowledge ~G.

K

G

~~>

K union {~G}

F(alse)

"We assume ~G and show a contradiction".

Try to derive a contradiction.