• TOC
  • Courses
  • Blog
  • Twitch
  • Shop
  • Search
    • Courses
    • Blog
    • Subreddit
    • Discord
    • Log in
    • Sign up
    • ▾Bridge course
      • •Countable and uncountable sets
      • ▸Proof techniques
        • •Example of a nonconstructive proof
        • •Direct proof
        • •Disproof by counterexample
        • •Proof by cases
        • •Proving properties of absolute value
        • •Proof by contrapositive
        • •Proof by contradiction
        • •Proof by induction
        • •Proof by strong induction
        • •Proving de Moivre's theorem
        • •Visual proof
        • •Challenge
      • ▸Relations
        • •Equivalence relations
        • •Intersection of equivalence relations
        • •Representing relations using matrices
        • ▸Combining relations
          • •Composition of relations
        • •Inverse of composite relation
        • •Representing relations using digraphs
        • •Properties of relations
        • •Proving equivalence relations
        • •What is a relation?
        • •Finding the inverse of a relation on a finite set
      • ▸Functions (bridge course)
        • ▸Injective, surjective, and bijective
          • •Intro
          • •Is it bijective? (infinite domain)
          • •Is it injective?
          • ▸Is it surjective?
            • •Proof: Composite of surjections is surjection
          • •Proving properties of injective, surjective, and bijective functions
     › Bridge course

    Proof techniques

    1. Direct proof
    2. Disproof by counterexample
    3. Proof by cases
    4. Proving properties of absolute value
    5. Proof by contrapositive
    6. Proof by contradiction
    7. Proof by induction
    8. Proof by strong induction
    9. Proving de Moivre's theorem
    10. Visual proof
    11. Challenge
    12. Example of a nonconstructive proof
    13. Other resources