Go backward to Contradictions Go up to Top Go forward to Example

Contradiction

A contradiction is usually derived by establishing a proof situation

K union {G, ~G}

F(alse)

because we then immediately have

K union {G, ~G}

F(alse)

~~>

K union {F(alse)}

F(alse)

~~>

K union {F(alse)}

.

Try to prove a formula that contradicts some given knowledge.