proof by contradiction (Q184899)

From Wikidata
Jump to: navigation, search
form of proof, and more specifically a form of indirect proof, that establishes the truth or validity of a proposition. It starts by assuming that the opposite proposition is true, and then shows that such an assumption leads to a contradiction
  • indirect proof
  • apagogical argument
  • proof by assuming the opposite
  • reductio ad impossibilem
edit
Language Label Description Also known as
English
proof by contradiction
form of proof, and more specifically a form of indirect proof, that establishes the truth or validity of a proposition. It starts by assuming that the opposite proposition is true, and then shows that such an assumption leads to a contradiction
  • indirect proof
  • apagogical argument
  • proof by assuming the opposite
  • reductio ad impossibilem

Statements

0 references
0 references

Identifiers