Given a proposition X, a regular proof known facts and logical arguments to show that X must be true. For an indirect proof, you assume that the negation of X is true. You then use known facts and logical arguments to show that this leads to a contradiction. The conclusion then is that the assumption about ~X being true is false and that is equivalent to showing that X is true.
Chat with our AI personalities
contradiction
It is a type of indirect proof: more specifically, a proof by contradiction.
With an indirect proof, you temporarily assume that the opposite of what you're trying to prove is true. For example, let's say I'm trying to prove that the sky is blue. With an indirect proof, I would first say: "Assume temporarily that sky is not blue..." and go from there. Eventually, I will reach a contradiction and with this contradiction I can assume that this route of thinking is false, therefore my proof must be true.
The term that best describes a proof in which you assume the opposite of what you want to prove is 'indirect proof'.
True. (apex)