Step-By-Step Guide to Proofs | Ex: product of two evens is even

Sdílet
Vložit
  • čas přidán 19. 08. 2024
  • How do you prove a mathematical claim? This video provides a step-by-step process to help you prove simple, direct proofs. We begin with the assumption, apply the definition, do some manipulations, apply the definition of the conclusion, and finish at the conclusion.
    We will investigate the claim "the sum of two even integers is even" as a template for this proof style.
    Learning Objectives:
    1) The four major steps in proving a theorem
    2) The give details that occur in the body of a proof
    3) The rational behind the various steps in our first formal proof.
    ►Full DISCRETE MATH Course Playlist: • Discrete Math (Full Co...
    Other Course Playlists:
    ►CALCULUS I: • Calculus I (Limits, De...
    ►CALCULUS II: • Calculus II (Integrati...
    ►CALCULUS III: • Calculus III: Multivar...
    ►LINEAR ALGEBRA: • Linear Algebra (Full C...
    ► Want to learn math effectively? Check out my "Learning Math" Series: • 5 Tips To Make Math Pr...
    ►Want some cool math? Check out my "Cool Math" Series: • Cool Math Series
    *****************************************************
    YOUR TURN! Learning math requires more than just watching math videos, so make sure you reflect, ask questions, and do lots of practice problems!
    ****************************************************
    ►Follow me on Twitter: / treforbazett
    BECOME A MEMBER:
    ►Join: / @drtrefor
    MATH BOOKS & MERCH I LOVE:
    ► My Amazon Affiliate Shop: www.amazon.com...

Komentáře • 85

  • @russ5943
    @russ5943 Před 4 lety +54

    You deserve a percentage of the tuition paid by every student in every discrete math class ever. When people ask me who taught me discrete math my answer is "Trefor Bazett."

  • @rileymaas1068
    @rileymaas1068 Před 4 lety +67

    Thank you so much, I'm a computer science major and this really isn't what I signed up for, so I really appreciate the help. You make this information way more digestible than my professor haha

    • @zainahmed6502
      @zainahmed6502 Před 4 lety +20

      Doing problems like these will help you improve your algorithmic skills in long term, trust me. Computer and programming logic structure is completely based on the principles of Discrete Mathematics.

    • @C.r.i.m.s.o.n
      @C.r.i.m.s.o.n Před 2 lety +1

      100% relatable

  • @KristoKorps
    @KristoKorps Před 5 lety +129

    I really appreciate this video and the way you went about breaking things down into steps. My discrete math class is currently way too fast paced for my learning style and this in-depth thought process forming breakdown is exactly what I needed. Thank you so much and keep up the great work!

    • @rapidreaders7741
      @rapidreaders7741 Před 5 lety +3

      And the fact that he had to write _everything_ backwards so that his viewers could see it.

    • @shubhamsatyaprakash54
      @shubhamsatyaprakash54 Před 5 lety +5

      @@rapidreaders7741 he writes in a natural style and by the way he is right handed. He make these kind of videos possible by certain softwares and flips the writting style

    • @DrTrefor
      @DrTrefor  Před 3 lety +13

      Glad it helped!! :)

  • @twonulator
    @twonulator Před 3 lety +8

    The way you break down and label the proof as a symmetric "sandwich" of structural sentences was excellent insight. Big lightbulb moment. Thanks!

  • @sweetlemons8695
    @sweetlemons8695 Před 3 lety +5

    I'd been lost in my proofs class for days, and came to CZcams out of desperation; this was such a big help! Thank you!

  • @joshman1019
    @joshman1019 Před 3 lety +14

    This is by far the hardest class I've ever taken. I just cannot wrap my head around it. Granted, my problem sets are not this easy to break down. So I'm still stuck. But this helped.

    • @DrTrefor
      @DrTrefor  Před 3 lety +5

      It really can be hard at first. Stick with it, it gets better in my experience!

  • @ericfricke4512
    @ericfricke4512 Před 4 lety +10

    These videos are the reason I will pass Discrete Math this semester! Thanks for sharing your knowledge in a crystal-clear manner!

  • @jyke321
    @jyke321 Před 3 lety +12

    Logic makes a lot of sense to me, probably cause I've been fiddling with for a long time while trying to make games, but proofs have by far been the toughest part of discrete math so far. This video helped a lot, but I still struggle in the playing around phase that I hadn't even realized existed. This video helped a decent bit, thanks.

    • @Gaylord69420
      @Gaylord69420 Před 2 lety

      Question, how did you learn it? Do you have a textbook?

  • @justinmeyer8046
    @justinmeyer8046 Před 2 lety +2

    Dr. Bazett has been my saving grace. My lecturer has no clue how to present Math in general

  • @marcusaurelius2147
    @marcusaurelius2147 Před 2 lety +3

    My late blooming love of physics got me to sign up for university in my late 20's, little did i know that abstract linear algebra was on the menu. Now i'm banging my head trying to prove operations in the coset of W containing V. So its back to the basics with evens and odds, trying to understand the mental gymnastics one performs to prove something in the mathematical sense, and on that point your videos are a great resource.

    • @user-qy6tu9ip9v
      @user-qy6tu9ip9v Před rokem

      I haven't started engineering yet but I know this is going to be rough.

  • @jonellpadongao7370
    @jonellpadongao7370 Před 2 lety +2

    As a way of appreciation, I never skip any ads. Thank you very much, sir.

  • @mendelovitch
    @mendelovitch Před 3 lety +3

    Love makes one want to shout it from the rooftops, or on CZcams. This man truly loves maths.

  • @Wildwildmint
    @Wildwildmint Před 8 měsíci

    I wrote the proof directly after reading the theorem. I got it correctly. I think I could conclude that you are a great teacher from that!! thank you and thank you again.

  • @williamwalker1521
    @williamwalker1521 Před 4 lety +2

    This is so helpful! Writing proofs is by far my least favorite part of discrete math, and you've really broken it down so it makes sense! Your videos have helped me drill down concepts so much!

  • @hunter9035
    @hunter9035 Před 3 lety +6

    This guy is such a professional he can write backwards on a piece of glass

    • @monkeydonk3925
      @monkeydonk3925 Před 2 lety

      I think he probably writes forwards and then flips the video in editing so it's the right way round for us? I don't really know that's just an idea

  • @chloecheung7690
    @chloecheung7690 Před 3 lety +3

    This video was extremely helpful!! I was struggling with the format of proofs but this video had everything I was looking for. Thank you so much!

  • @laurabruges5820
    @laurabruges5820 Před 2 lety +2

    ¡Gracias!

    • @laurabruges5820
      @laurabruges5820 Před 2 lety +1

      Sorry, this has been automatically posted, I cannot express how grateful I am to all what I've learned from seeing your videos. I'm a software developer looking forward to straighten my basis on computer science, and your videos have made me stop fearing math and formal definitions! Thanks a lot Prof., I hope I'm able to complete the whole series real soon!

  • @Wildwildmint
    @Wildwildmint Před 8 měsíci

    I am really really really thankful to you Mr Trefor. I wanna be good at math and you are making this goal possible. I am so grateful.

  • @serenaaaa1337
    @serenaaaa1337 Před 11 měsíci

    This is definitely helpful and a very organized way to interpret proof techniques. Very appreciated!

  • @phantasqLiving
    @phantasqLiving Před 3 lety +2

    Wow. Commenting on this to internalize. Phenomenal.

  • @thaniacisneros5785
    @thaniacisneros5785 Před 6 měsíci

    Thank you so much for all your videos! You are making my life easier!!:)

  • @Kaizen01395
    @Kaizen01395 Před 4 lety +1

    I love math a lot, but for whatever reason discrete math was difficult to understand, but I just solved the problem before watching this video and followed the 5 steps from the last video and it's SO EASY. I'm not sure why I didn't understand this in class. Do you have any videos explaining the Pigeonhole principle?

  • @GrahamCrannell
    @GrahamCrannell Před 2 lety +1

    7:57 - "fuck around and find out" is the backbone of all research 😅

  • @etimezz
    @etimezz Před 2 lety +1

    your playlist > my discrete university course

  • @MuhsinFatih
    @MuhsinFatih Před 4 lety +6

    Exactly what I needed. Amazing guide! Subbed

  • @zainahmed6502
    @zainahmed6502 Před 4 lety +7

    I wish I could direct my tuition money to you instead of my professor!

  • @elfentsuki
    @elfentsuki Před 3 lety +1

    Excellent video!! And love the energy, thank you so much for this video.

  • @Gratitudeprayer
    @Gratitudeprayer Před 2 lety +1

    Thanks a lot ! your teaching is very great !

  • @guyblack9729
    @guyblack9729 Před 3 lety +1

    P is stored in the integers

  • @leonardomorel9412
    @leonardomorel9412 Před 3 lety +12

    Dr.Treffor = Suppose m and n are integers
    Me = no they're chocolate

  • @davidlasry3559
    @davidlasry3559 Před 3 lety +1

    Wow! Great video, thank you

  • @user-qs2jy8mi8e
    @user-qs2jy8mi8e Před 4 lety +1

    ahhhhh thank you thank you thank you thank you thank you!!!!!!!!! thank you!!!!! thank you!!!!

  • @dulakshivitharana9007
    @dulakshivitharana9007 Před 3 lety +1

    Thank you so much sir

  • @TheMacTownPoke
    @TheMacTownPoke Před 4 lety

    Excellent teacher

  • @TheErgunPascu
    @TheErgunPascu Před rokem

    This is so cool.

  • @khaledfarrag9754
    @khaledfarrag9754 Před rokem

    wonderful effort

  • @nanu4144
    @nanu4144 Před 2 lety +1

    Could I define an even integer as something that is divisible by two and left with no remainder?

  • @PANKAJYADAV-iw4kz
    @PANKAJYADAV-iw4kz Před rokem

    Watching from India 🇮🇳 at 1:35am in search of joy

  • @semhararadom1491
    @semhararadom1491 Před 4 lety +1

    Perfect

  • @shielacarilo2595
    @shielacarilo2595 Před 4 lety

    Thank you so much sir😊

  • @NathanStraub92
    @NathanStraub92 Před 3 lety +2

    Thank the Lord for CZcams.....I would be a lost cause otherwise haha

  • @saif0316
    @saif0316 Před 4 lety

    thank you so much!

  • @goatfishplays
    @goatfishplays Před 10 měsíci

    For the "for all m,n in integers" at 5:54 should the integers be integers^2? or is that just for vectors and stuff? also for the format at 7:04, does the "For all x in D" part matter? in video 29 of your playlist didn't it get stated that the P(x) => Q(x) means "for all x in D, P(x)->Q(x)".

  • @TheAdrenalineJunky
    @TheAdrenalineJunky Před 2 lety

    Is the recursive nature of the proof useful or relevant? Ie mn=2t. If you recursively apply the proof to 2t, eventually you get 2*2=2*2?

  • @arpanpain4439
    @arpanpain4439 Před 6 lety +2

    the formal definition of the even numbers should be like for all k in Z , n = 2k isn't it?

    • @embracinglogic1744
      @embracinglogic1744 Před 5 lety

      @@DrTrefor You are correct. You should not say almost, you should say wrong. The way he words his definition is completely wrong. Your definition is exact and thus correct. Preciseness and formality are fundamental in mathematics.

  • @KylianMbappe07303
    @KylianMbappe07303 Před rokem

    15:23 why dont we use contradiction rule because not only even * even is even but also even * odd is even

  • @nekomaru3679
    @nekomaru3679 Před 4 lety

    I cannot see the step 4 at the end as it is covered by your playlist on the video...

  • @KylianMbappe07303
    @KylianMbappe07303 Před rokem

    how in the world does my channel know that I am watching discrete maths and pops up an advertisement on discrete maths

  • @MagnusTheUltramarine
    @MagnusTheUltramarine Před 2 lety

    in 6:16 you could have written: n is even For all k in Z such that n = 2k instead of "there exists". After all any number k in Z times 2 is even
    Is this correct?

    • @mdgulamgoash7560
      @mdgulamgoash7560 Před rokem

      n=2k ; this statement is true not for all k in Z, but true for some specific k in Z.

  • @oczar9779
    @oczar9779 Před 3 lety

    Good teacher, I just think that this could be dumbed down some more

  • @velaabiss4531
    @velaabiss4531 Před 3 lety

    Can u pls show us how we prove that an equation is composite.

  • @5Stars49
    @5Stars49 Před 5 měsíci +1

    QED means ???

    • @alainsavard8373
      @alainsavard8373 Před 3 měsíci

      Q.E.D. (quod erat demonstrandum), used at the end of a mathematical proof.
      Meaning "that which was to be demonstrated"

  • @barlerer
    @barlerer Před 5 lety +4

    Are you writing backwards or is this some video editing dark magic?

    • @OfferREI
      @OfferREI Před 5 lety

      @@DrTrefor I was wondering about this! This is the best format I have seen for teaching math

    • @cytroyd
      @cytroyd Před 3 lety

      Write normally on a glass, flip the video, then edit on top

  • @marcusofranz1102
    @marcusofranz1102 Před rokem

    I don’t understand why you don’t need to prove that an integer times an integer is an integer or state it as an assumption.
    How do you decide what the reader is to infer, vs what your are explicit about.

  • @justaperson4242
    @justaperson4242 Před rokem

    What is the mirrored E?

  • @_ramen
    @_ramen Před 3 lety +4

    Suppose eminem are an even integer.

  • @criticalsting
    @criticalsting Před rokem

    Not all heroes wear capes

  • @moustafafarag3658
    @moustafafarag3658 Před 4 lety

    great video but at 14:36 shouldn't the algebra part be 2(rs)?

    • @JohnMuller
      @JohnMuller Před 4 lety +5

      This confused me as well at first. But if you think of it as (2r)(2s) = 4rs, you could then break down 4rs into 2(2rs).

  • @yunoletmehaveaname
    @yunoletmehaveaname Před rokem

    Is it satisfactory that 2rs isn't proved to be an integer?

  • @ilikewaffles3689
    @ilikewaffles3689 Před 2 lety

    I don't get it. It seems like circular logic trying to prove what even numbers are by using even numbers in the proof.

  • @RemotHuman
    @RemotHuman Před 3 lety

    Title should be product of 2 evens is even

    • @DrTrefor
      @DrTrefor  Před 3 lety +1

      I'm kind amazed it took 28k views before someone noticed this lol! Fixed:)

  • @GuidoHaverkort
    @GuidoHaverkort Před 3 lety

    Does this guy just casually write mirrored?

    • @DrTrefor
      @DrTrefor  Před 3 lety +2

      haha, either that or I flip it on my computer afterwards:D

  • @hoppinnoppin8110
    @hoppinnoppin8110 Před rokem

    Huh

  • @lbierman
    @lbierman Před 11 měsíci

    Could you present this with less verbage. I may be a dog because all I hear is blah, blah. Why is a proof so difficult to explane? Twelve minutes in before you get to the first line of the proof, and you have confused me thoroughly with asides and an assortment of what seems to be an endless supply of mathematical symbols. Please, simplify and leave out all asides.