proof by contradiction
Assume the claim's negation, then derive an impossibility of the form R\wedge\neg R.
A proof by contradiction of C assumes \neg C and derives a statement of the form R\wedge\neg R, forcing C true.
See also
Point table
Graph settings
Calculator