Comment by hnben

when proving a negativ in math, you often do a proof by contradiction

precondition: Either A is true or it is false.

question: is A false?

solution:

1. assume that A is true

2. <math stuff>

3. find a contradiction

4. ==> A can not be true

5. ==> therefor A is false