reasoning that assumes that the conclusion is false and then shows that this assumption leads to a contradiction of the hypothesis or some other accepted fact, like a postulate, theorem, or collorary. Then, since the assumption has been proven false, the conclusion must be true