 That is, a proposition "Q" and its negation formula_1"Q" ("not-"Q"") cannot both be true.In a proof by contradiction, it is shown that the denial of the statement being proved results in such a contradiction.It has the form of a "reductio ad absurdum" argument, and usually proceeds as follows