Math 2.0

General and overarching topics Topic

Proof methods

Summary

This topic collects the standard methods of mathematical proof, such as direct proof, proof by contradiction, proof by cases and induction. A proof node names its methods with the method edge, and each target of that edge is a concept in this topic. The topic lets a reader find all the proofs that use one method.

Everything in this topic

The members of this topic and each page that they need, 37 pages in all.

Show the path as a graph
Double counting, concept, no evidence levelDouble countingconceptElement, definition, no evidence levelElementdefinitionMathematical induction, concept, no evidence levelMathematical inductionconceptProof by infinite descent, concept, no evidence levelProof by infinite des…conceptProposition, concept, no evidence levelPropositionconceptSet, definition, no evidence levelSetdefinitionConjunction, definition, no evidence levelConjunctiondefinitionDisjunction, definition, no evidence levelDisjunctiondefinitionImplication, definition, no evidence levelImplicationdefinitionNegation, definition, no evidence levelNegationdefinitionPredicate, definition, no evidence levelPredicatedefinitionOrdered pair, definition, no evidence levelOrdered pairdefinitionBiconditional, definition, no evidence levelBiconditionaldefinitionTruth table, concept, no evidence levelTruth tableconceptModus ponens, concept, no evidence levelModus ponensconceptExistential quantifier, definition, no evidence levelExistential quantifierdefinitionUniversal quantifier, definition, no evidence levelUniversal quantifierdefinitionCartesian product, definition, no evidence levelCartesian productdefinitionSubset, definition, no evidence levelSubsetdefinitionPropositional logic, concept, no evidence levelPropositional logicconceptMathematical proof, concept, no evidence levelMathematical proofconceptUniqueness quantifier, definition, no evidence levelUniqueness quantifierdefinitionBinary relation, definition, no evidence levelBinary relationdefinitionTautology, definition, no evidence levelTautologydefinitionProof by cases, concept, no evidence levelProof by casesconceptDirect proof, concept, no evidence levelDirect proofconceptConstructive proof, concept, no evidence levelConstructive proofconceptLogical equivalence, definition, no evidence levelLogical equivalencedefinitionFunction, definition, no evidence levelFunctiondefinitionInjective function, definition, no evidence levelInjective functiondefinitionDouble negation law, statement, no evidence levelDouble negation lawstatementContrapositive, statement, no evidence levelContrapositivestatementCountable set, definition, no evidence levelCountable setdefinitionProof by contrapositive, concept, no evidence levelProof by contrapositi…conceptProof by contradiction, concept, no evidence levelProof by contradictionconceptUncountable set, definition, no evidence levelUncountable setdefinitionCantor's diagonal argument, concept, no evidence levelCantor's diagonal arg…concept
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Double counting concept member
  2. Element definition
  3. Mathematical induction concept member
  4. Proof by infinite descent concept member
  5. Proposition concept
  6. Set definition
  7. Conjunction definition
  8. Disjunction definition
  9. Implication definition
  10. Negation definition
  11. Predicate definition
  12. Ordered pair definition
  13. Biconditional definition
  14. Truth table concept
  15. Modus ponens concept
  16. Existential quantifier definition
  17. Universal quantifier definition
  18. Cartesian product definition
  19. Subset definition
  20. Propositional logic concept
  21. Mathematical proof concept
  22. Uniqueness quantifier definition
  23. Binary relation definition
  24. Tautology definition
  25. Proof by cases concept member
  26. Direct proof concept member
  27. Constructive proof concept member
  28. Logical equivalence definition
  29. Function definition
  30. Injective function definition
  31. Double negation law statement
  32. Contrapositive statement
  33. Countable set definition
  34. Proof by contrapositive concept member
  35. Proof by contradiction concept member
  36. Uncountable set definition
  37. Cantor's diagonal argument concept member

Further reading

  1. Web https://en.wikipedia.org/wiki/Mathematical_proof, Methods of proof
About this page
TagG9JFJGY4TQ
URIm2://G9JFJGY4TQ
Aliasesmethods
Kindtopic
WritingW0 stub
MSC00A35

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Nodes in this topic