 Proof by contradiction also depends on the law of the excluded middle, also first formulated by Aristotle.This states that either an assertion or its negation must be true
That is, there is no other truth value besides "true" and "false" that a proposition can take.Combined with the principle of noncontradiction, this means that exactly one of formula_15 and formula_16 is true.