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

Поделиться
HTML-код
  • Опубликовано: 18 окт 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...

Комментарии • 87

  • @russ5943
    @russ5943 4 года назад +63

    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 4 года назад +68

    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 4 года назад +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 2 года назад +1

      100% relatable

  • @KristoKorps
    @KristoKorps 5 лет назад +131

    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 5 лет назад +3

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

    • @shubhamsatyaprakash54
      @shubhamsatyaprakash54 5 лет назад +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  4 года назад +13

      Glad it helped!! :)

  • @joshman1019
    @joshman1019 3 года назад +15

    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  3 года назад +6

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

  • @twonulator
    @twonulator 4 года назад +9

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

    • @DrTrefor
      @DrTrefor  4 года назад +5

      Glad it helped!

  • @sweetlemons8695
    @sweetlemons8695 3 года назад +5

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

  • @jyke321
    @jyke321 3 года назад +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 2 года назад

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

  • @ericfricke4512
    @ericfricke4512 4 года назад +10

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

  • @marcusaurelius2147
    @marcusaurelius2147 2 года назад +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 Год назад

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

  • @justinmeyer8046
    @justinmeyer8046 3 года назад +2

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

  • @jonellpadongao7370
    @jonellpadongao7370 2 года назад +2

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

  • @mendelovitch
    @mendelovitch 4 года назад +3

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

  • @williamwalker1521
    @williamwalker1521 4 года назад +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!

  • @Wildwildmint
    @Wildwildmint 10 месяцев назад

    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.

  • @chloecheung7690
    @chloecheung7690 3 года назад +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!

  • @Wildwildmint
    @Wildwildmint 10 месяцев назад

    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 Год назад

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

  • @Kaizen01395
    @Kaizen01395 4 года назад +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?

  • @phantasqLiving
    @phantasqLiving 3 года назад +2

    Wow. Commenting on this to internalize. Phenomenal.

  • @hunter9035
    @hunter9035 3 года назад +6

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

    • @monkeydonk3925
      @monkeydonk3925 3 года назад

      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

  • @thaniacisneros5785
    @thaniacisneros5785 8 месяцев назад

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

  • @ashIesha
    @ashIesha 17 дней назад +1

    thank you so much for your videos !!! i’d lay you my tuition myself if I could

  • @MuhsinFatih
    @MuhsinFatih 4 года назад +6

    Exactly what I needed. Amazing guide! Subbed

  • @elfentsuki
    @elfentsuki 3 года назад +1

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

  • @MarianneGraceGamurot
    @MarianneGraceGamurot 9 дней назад

    big thanks for this, it helped me a lot.

  • @GrahamCrannell
    @GrahamCrannell 3 года назад +1

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

  • @Gratitudeprayer
    @Gratitudeprayer 2 года назад +1

    Thanks a lot ! your teaching is very great !

  • @etimezz
    @etimezz 2 года назад +1

    your playlist > my discrete university course

  • @zainahmed6502
    @zainahmed6502 4 года назад +7

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

  • @goatfishplays
    @goatfishplays Год назад

    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)".

  • @davidlasry3559
    @davidlasry3559 3 года назад +1

    Wow! Great video, thank you

  • @laurabruges5820
    @laurabruges5820 2 года назад +2

    ¡Gracias!

    • @laurabruges5820
      @laurabruges5820 2 года назад +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!

  • @khaledfarrag9754
    @khaledfarrag9754 Год назад

    wonderful effort

  • @guyblack9729
    @guyblack9729 3 года назад +1

    P is stored in the integers

  • @TheAdrenalineJunky
    @TheAdrenalineJunky 2 года назад

    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?

  • @Hafsah-t6f
    @Hafsah-t6f 4 года назад +1

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

  • @dulakshivitharana9007
    @dulakshivitharana9007 3 года назад +1

    Thank you so much sir

  • @nanu4144
    @nanu4144 2 года назад +1

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

  • @leonardomorel9412
    @leonardomorel9412 4 года назад +13

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

  • @TheMacTownPoke
    @TheMacTownPoke 4 года назад

    Excellent teacher

  • @TheErgunPascu
    @TheErgunPascu Год назад

    This is so cool.

  • @MagnusTheUltramarine
    @MagnusTheUltramarine 3 года назад

    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 Год назад

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

  • @velaabiss4531
    @velaabiss4531 3 года назад

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

  • @PANKAJYADAV-iw4kz
    @PANKAJYADAV-iw4kz Год назад

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

  • @shielacarilo2595
    @shielacarilo2595 4 года назад

    Thank you so much sir😊

  • @nekomaru3679
    @nekomaru3679 4 года назад

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

  • @arpanpain4439
    @arpanpain4439 6 лет назад +2

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

    • @embracinglogic1744
      @embracinglogic1744 5 лет назад

      @@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.

  • @marcusofranz1102
    @marcusofranz1102 Год назад

    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.

  • @saif0316
    @saif0316 4 года назад

    thank you so much!

  • @semhararadom1491
    @semhararadom1491 4 года назад +1

    Perfect

  • @oczar9779
    @oczar9779 3 года назад

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

  • @sarkersaadahmed
    @sarkersaadahmed Год назад

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

  • @NathanStraub92
    @NathanStraub92 4 года назад +2

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

  • @moustafafarag3658
    @moustafafarag3658 5 лет назад

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

    • @JohnMuller
      @JohnMuller 4 года назад +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).

  • @5Stars49
    @5Stars49 7 месяцев назад +1

    QED means ???

    • @alainsavard8373
      @alainsavard8373 5 месяцев назад

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

  • @yunoletmehaveaname
    @yunoletmehaveaname Год назад

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

  • @sarkersaadahmed
    @sarkersaadahmed Год назад

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

  • @barlerer
    @barlerer 6 лет назад +4

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

    • @OfferREI
      @OfferREI 5 лет назад

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

    • @magnetsec
      @magnetsec 3 года назад

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

  • @justaperson4242
    @justaperson4242 Год назад

    What is the mirrored E?

    • @denm8991
      @denm8991 Год назад

      “There exists”

  • @ilikewaffles3689
    @ilikewaffles3689 2 года назад

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

  • @criticalsting
    @criticalsting Год назад

    Not all heroes wear capes

  • @_ramen
    @_ramen 3 года назад +4

    Suppose eminem are an even integer.

  • @RemotHuman
    @RemotHuman 3 года назад

    Title should be product of 2 evens is even

    • @DrTrefor
      @DrTrefor  3 года назад +1

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

  • @GuidoHaverkort
    @GuidoHaverkort 4 года назад

    Does this guy just casually write mirrored?

    • @DrTrefor
      @DrTrefor  4 года назад +2

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

  • @hoppinnoppin8110
    @hoppinnoppin8110 2 года назад

    Huh

  • @lbierman
    @lbierman Год назад

    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.