 Proof by contradiction is based on the law of noncontradiction as first formalized as a metaphysical principle by Aristotle.Noncontradiction is also a theorem in propositional logic.This states that an assertion or mathematical statement cannot be both true and false.