Proof by Contradiction | Method & First Example

แชร์
ฝัง
  • เผยแพร่เมื่อ 28 ส.ค. 2024
  • Proof by Contradiction is one of the most important proof methods. It is an indirect proof technique that works like this: You want to show a statement P is true. First assume the P is actually false. Then manipulate until you get a contradiction like 0=1. This means your assumption that P was false is incorrect and so P is true. QED.
    In this video we'll talk about the structure of proof by contradiction, and then do a small example where we prove a theorem that no integer is both even and odd.
    ►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...

ความคิดเห็น • 96

  • @SaucyRamenBoy
    @SaucyRamenBoy 3 ปีที่แล้ว +190

    im not sure what to be more impressed by, how clearly he explained this in 9 minutes or the fact that he can write in reverse and make it look good

    • @meowwimacat3481
      @meowwimacat3481 3 ปีที่แล้ว +36

      pretty sure he is just writing normally on the glass, but mirrors the video before editing it. unless he is also left-handed to prove me wrong :P

    • @Kyezie131
      @Kyezie131 2 ปีที่แล้ว +17

      There is no way you can understand what he's talking about, yet be stupid enough to think he is writing in reverse lmao

    • @syndrac6254
      @syndrac6254 2 ปีที่แล้ว +2

      I’m assuming he used a mirror

    • @CAA12321
      @CAA12321 5 หลายเดือนก่อน

      @@syndrac6254 where is your proof??? (by contradiction)

  • @rajdeepchakraborty9533
    @rajdeepchakraborty9533 2 ปีที่แล้ว +40

    The contradiction (k1-k2) being 1/2 was such a subtle and beautiful point!

  • @ronnies.3440
    @ronnies.3440 2 ปีที่แล้ว +15

    Ah yes. Graduated a few years ago with my math degree but still come here to pay homage. Thanks!

  • @catherinedinh8663
    @catherinedinh8663 5 ปีที่แล้ว +50

    deadass you cleared up every question i had about this concept within the first two minutes. ur an amazing teacher

    • @re-know251
      @re-know251 4 ปีที่แล้ว +4

      Catherine Dinh you gotta be from New York 🤣🤣 no one says, “deadass” except for us New Yorkers hearrddd

    • @yash1152
      @yash1152 4 ปีที่แล้ว

      @@re-know251 lol

  • @Nelsonoliva1428
    @Nelsonoliva1428 2 หลายเดือนก่อน +1

    Bro taught me in 9 minutes what my professor just yapped from the slides for 2 hours. MVP

  • @Jaffy.
    @Jaffy. 4 ปีที่แล้ว +33

    I sense both teaching skill and passion

    • @yash1152
      @yash1152 4 ปีที่แล้ว +3

      and technology and thoughts and effort and post production

  • @ro-ce8vg
    @ro-ce8vg ปีที่แล้ว +2

    the videos my university class provides me are absolutely mind numbing, it goes such a long way to have someone energetic on the screen explaining this stuff

  • @markjoshuaobial5602
    @markjoshuaobial5602 3 ปีที่แล้ว +18

    I don't know what's the reason but this video helps me more in understanding the lesson than my professor teaching this topic. Thank you for this educational video!

  • @didierliango6402
    @didierliango6402 11 หลายเดือนก่อน +2

    So beautifully explained. In grade 8, my mathematics teacher introduced us to this proof my absurdity for the first time.. and he was fascinated by it so much that i also fell in love with this technique.

  • @GudyaRawat
    @GudyaRawat 8 หลายเดือนก่อน +4

    Your explanation is appreciated by all. Love from India❤

  • @YeabsiraHenok
    @YeabsiraHenok 7 หลายเดือนก่อน +1

    Thank you Dr. Trefor Bazett and I am really enjoying your DIFFERENTIAL EQUATIONS playlist as well.

  • @abbassharbi2985
    @abbassharbi2985 2 ปีที่แล้ว +1

    i swear from morning i watch a videos but i didn't understand any thing till i found you best dr. for ever from now i am one of your subscribers💌

  • @avarokinraj
    @avarokinraj 6 ปีที่แล้ว +85

    This is so trippy! He's writing in reverse!

    • @CalamityInAction
      @CalamityInAction 5 ปีที่แล้ว +15

      I think he mirrored it in post

    • @David-km2ie
      @David-km2ie 5 ปีที่แล้ว +1

      But he writes "There exist like a normal E". 'Elk nadeel hep se voordeel.

    • @akshaygopal8627
      @akshaygopal8627 5 ปีที่แล้ว +4

      look at his shirt the pocket is on the right side its mirrored

    • @raynebenson9040
      @raynebenson9040 4 ปีที่แล้ว

      he isnt hes also right handed its mirrored in post

    • @mamatadebnathrkt6198
      @mamatadebnathrkt6198 3 ปีที่แล้ว

      Sit, besides your mirror👍🏻😃

  • @inquisitive871
    @inquisitive871 5 ปีที่แล้ว +26

    This guy is the PatrickJMT of higher level math.

  • @benkozireski5074
    @benkozireski5074 3 ปีที่แล้ว +1

    I must say you are so dedicated to these videos that you write in reverse! well done

  • @user-bd7xv1wh1o
    @user-bd7xv1wh1o 3 ปีที่แล้ว +13

    I really love your video, like it's way easier to understand than my prof's lecture tbh...
    I kind of get how to USE all the proof methods, but how do people know which one to use for each problem??? Practice?

    • @DrTrefor
      @DrTrefor  3 ปีที่แล้ว +15

      Thank you! It sort of builds slowly out of experience. It's a bit like chess, there are a huge number of moves possible but as you gain experience you'll see the best move in any given situation.

  • @patrickmayer9218
    @patrickmayer9218 ปีที่แล้ว +2

    Perfect example to explain the topic! Thanks for the video, Dr. Bazett!

  • @youngdonlee2068
    @youngdonlee2068 5 ปีที่แล้ว +6

    I usually do not write comments but I had to. You were awesome. Thank you so much. You deserve my like and sub.

  • @deadbitehu
    @deadbitehu 5 ปีที่แล้ว +6

    Thanks my teachers goes way to fast and messes up a lot. This made it clear

  • @d.a.6911
    @d.a.6911 ปีที่แล้ว

    This is worth listening to than the three hours of lecture of my Professor without actually explaining anything.

  • @bored4428
    @bored4428 4 ปีที่แล้ว

    Wow, this video is amazing. The textbook I had to buy for my class doesn't even come close to explaining the concept this clearly.

    • @yash1152
      @yash1152 4 ปีที่แล้ว +1

      yeah, school level textbooks are crap basically. written by bunch of jerkoffs

  • @raakshas5547
    @raakshas5547 ปีที่แล้ว

    *Lots of love from India . Sir !! You are much better than my collage professor !*

  • @anshulkumar9086
    @anshulkumar9086 3 ปีที่แล้ว +2

    Your teaching skills and writing skills outstanding . I have nothing word for your teaching .

    • @DrTrefor
      @DrTrefor  3 ปีที่แล้ว +2

      Thank you so much 😀

  • @MohamedMostafa-do9fz
    @MohamedMostafa-do9fz 2 ปีที่แล้ว +3

    This is the same example that the doctor explained to us in college 👍

  • @student8735
    @student8735 2 ปีที่แล้ว +1

    thanks for this...its helpin me for my exam preparation

  • @TitanTubs
    @TitanTubs ปีที่แล้ว +2

    Dang man, they are still releasing DLC's for math? How much longer are they going to add to this?
    I miss the old 1+3=4 game.

  • @jtothey1993
    @jtothey1993 3 ปีที่แล้ว +1

    I love your passion sir and your videos are amazing

  • @TerrelleCheers1
    @TerrelleCheers1 3 ปีที่แล้ว +2

    Proof by contradiction is basically another word for humor

  • @tyw8196
    @tyw8196 4 หลายเดือนก่อน

    Let n be the number of vertices of a graph G.
    If G is a tree, then G has n − 1 edges.

    The contrapositive of Theorem
    Let n be the number of vertices and let e be the number of edges of a
    graph G.
    If e ≠ n − 1, then G is not a tree.
    However, if e = n − 1, G not necessarily to be a tree.
    (The converse is not necessarily true.)
    How can i use contradiction theory to prove it?

  • @yanicyanic4403
    @yanicyanic4403 5 ปีที่แล้ว +2

    Beyond excellent

  • @divine9679
    @divine9679 3 ปีที่แล้ว +1

    Hi sir!
    I'm from India.
    🇮🇳

  • @ellisha4185
    @ellisha4185 ปีที่แล้ว +1

    IS this universal modus tollens ??😩 Thanks for the clear explanation!

  • @user-ol5fj2st4c
    @user-ol5fj2st4c 5 หลายเดือนก่อน

    i like your explanation thanks a lot

  • @GEMINDIGO
    @GEMINDIGO 4 ปีที่แล้ว +1

    Thanks for another helpful video!

  • @agrimakrishna317
    @agrimakrishna317 ปีที่แล้ว

    Thank u so much Dr 😊 u explained so well 🤝

  • @kholofelohlongwane9497
    @kholofelohlongwane9497 4 ปีที่แล้ว

    wow this video really helped a lot .. your the best

  • @crictainment01
    @crictainment01 5 ปีที่แล้ว +1

    Nice explanation

  • @dougaltolan3017
    @dougaltolan3017 11 หลายเดือนก่อน

    And there was me thinking the important methodology was SHOUTING.

  • @greengod3114
    @greengod3114 4 หลายเดือนก่อน

    he made it so clear but at the same time I am confused
    is he writing on a mirror ?? if so how is he writing it in the wrong way for us????

  • @mukynas
    @mukynas 5 หลายเดือนก่อน

    what's that symbol your are using as and AND in the sentence "n is even AND odd?"

  • @MisterTLion5921
    @MisterTLion5921 3 ปีที่แล้ว

    The could have been proven the almost the same way but with a direct proof, right? First you rewrite the For All statement into a Not Exists and you take away the negation in the body. You then arrive at the same contradiction inside the body of the Not Exists. The exist turns into false but because of Not Exists it turns into true and now the left hand side of the original proposition is always true. Am I missing something?

  • @hamzaamentag6810
    @hamzaamentag6810 2 หลายเดือนก่อน

    Contradiction: 1 is an even integer since there exists an integer m such as 1 = 2m

  • @birthdaycat2732
    @birthdaycat2732 6 หลายเดือนก่อน

    What happened to De Morgan’s law while negating an and it becomes an or

  • @Sekai_no_yosa
    @Sekai_no_yosa 4 หลายเดือนก่อน

    this might be a dumb question....but are your writing backwards?
    how does this work🥲

  • @pcguy619
    @pcguy619 3 ปีที่แล้ว

    Great video. Shouldn't the contradiction be "N is even OR N is odd?" Because the negation of AND is OR? Or am I just being smallbrained?

    • @MisterTLion5921
      @MisterTLion5921 3 ปีที่แล้ว +1

      Well, because it is a contradiction the negation is in front of the "for all" as Dr. Trefor drew. You can then move the negation that is in front of the "for all" inside the body of the "for all" to rewrite the universal (for all) quantifier into an existential quantifier. Because you moved the negation from in front to inside the body you get the following: negation-negation(n is even and n is odd). Now the double negations cancel each other out. You seem to try to reference De Morgan's law where Not(A and B) can be rewritten as Not-A or Not-B.

    • @ygritte4829
      @ygritte4829 2 ปีที่แล้ว

      U

  • @rivershrimps
    @rivershrimps 6 ปีที่แล้ว +1

    According to De Morgan's rule isn't the negation of n is even AND odd become n is not even OR not odd?

    • @rivershrimps
      @rivershrimps 6 ปีที่แล้ว +1

      Oh you are right. Thanks!

  • @Rafi-nc3nw
    @Rafi-nc3nw 6 ปีที่แล้ว +2

    Sir, thanks a lot

  • @smagill
    @smagill 3 ปีที่แล้ว +1

    Thank you !

  • @MyOneFiftiethOfADollar
    @MyOneFiftiethOfADollar หลายเดือนก่อน +1

    Didn't notice any Law of The Excluded Middle(LEM) jumping into the ring, but they are out there amongst the flat earth crowd somewhere.

  • @sagunchaturvedi4894
    @sagunchaturvedi4894 6 หลายเดือนก่อน

    Love From india❤

  • @GatsheniSIBUSISO
    @GatsheniSIBUSISO 6 ปีที่แล้ว

    helpful video thanks man!

  • @makro477
    @makro477 ปีที่แล้ว

    now i can proof that my friend cant identify as a toaster

  • @lucy1899
    @lucy1899 3 ปีที่แล้ว +1

    LEGEND

  • @joedoe4316
    @joedoe4316 5 ปีที่แล้ว +1

    Isn't 2(number) = 1 a contradiction because even != odd?

  • @g0nt411
    @g0nt411 6 ปีที่แล้ว +1

    When do you use "such that" and ","?

    • @g0nt411
      @g0nt411 6 ปีที่แล้ว +2

      Thanks! When I studied Mathematics in High School, back in Peru, we used this "/" to represent "such that" (tal que), in spanish). In one exam, here in the US. I used that symbol in an exam and my teacher wrote in my exam that she wasn't sure what I meant with that. and it was a "There is " statement.

    • @g0nt411
      @g0nt411 6 ปีที่แล้ว

      Great videos, bu the way. It is easy to follow your explanation.

  • @MonoUploads
    @MonoUploads 2 หลายเดือนก่อน

    im on step 2 all the time

  • @user-lj4tz3pv9x
    @user-lj4tz3pv9x 7 หลายเดือนก่อน

    The real question is how did he write on the board like that?

  • @captainphysix
    @captainphysix 7 ปีที่แล้ว

    great!! Thanks!

  • @idk123
    @idk123 3 ปีที่แล้ว +1

    I want you to be my teacher huhuhu

  • @sutekhmerksamer8231
    @sutekhmerksamer8231 4 ปีที่แล้ว +1

    so proof by contradiction is trying to make an insane argument that could never be true?
    well this is gonna be easy.

  • @leophysics
    @leophysics 2 ปีที่แล้ว

    Use white colour. As chalk colour

  • @bracodescanner
    @bracodescanner 11 หลายเดือนก่อน

    Fun fact: a reduction is actually a proof by contradiction, but not the other way around

  • @vincentmanalo3513
    @vincentmanalo3513 3 ปีที่แล้ว

    now wheres the proof of : diff of 2 integers is an integer :thinking:

    • @DrTrefor
      @DrTrefor  3 ปีที่แล้ว

      this exercise is left to the viewer, hah!

    • @zafarkamolov8162
      @zafarkamolov8162 3 ปีที่แล้ว

      @@DrTrefor you can only prove it by contradiction, showing that a number cannot be odd and even at the same time, lol. Kinda vica versa thing happens there.

  • @mkvniroshan7611
    @mkvniroshan7611 6 ปีที่แล้ว

    Please let me know how to solve this question.
    Translate the following argument into symbolic form and using rules of inference derive
    the conclusion.
    It is not the case that some students are not employees. Furthermore it is not the case
    that some employees are not hard workers. Therefore all students are hard workers.
    b) Consider the following paragraph:
    “Anyone who has catarrh will sneeze. If anyone allergic to animal dander or dust mite
    then they will have catarrh. Maya is allergic to animal dander”
    (i) Write the above paragraph in first order logic and convert them in to conjunctive
    normal form.
    (ii) Using the method of contradiction check whether Maya will sneeze.

  • @zilehumasattar7161
    @zilehumasattar7161 5 ปีที่แล้ว +1

    sir with u and your method is soooooooooooooo cute

  • @kosiak10851
    @kosiak10851 4 ปีที่แล้ว

    Did you learn to write with left hand or you were born left-handed?

  • @KalkiSei
    @KalkiSei 3 ปีที่แล้ว

    how tf can u write like that? wttff

  • @AbdurRehman-cu9bg
    @AbdurRehman-cu9bg 6 หลายเดือนก่อน

    he is so handsome 🥰🥰🥰

  • @symbiosiswarrobots8666
    @symbiosiswarrobots8666 2 ปีที่แล้ว

    when did jacksepticeye make math videos

  • @Abhinavkumar-og3xd
    @Abhinavkumar-og3xd 8 หลายเดือนก่อน +1

    Please speak in hindi.

  • @josephfernando4867
    @josephfernando4867 6 ปีที่แล้ว

    Could have been simpler if you didnt bring the math inside it and had taken just a logical statement like the Earth is round or something along those lines...but thank you for the video...

    • @josephfernando4867
      @josephfernando4867 6 ปีที่แล้ว +2

      Thanks..got it. My comment was more on non mathematical lines and later I realized my mistake on making this comment. This video is related to using the proof in the Math field. I was looking more for a generic explanation on the topic of Contradiction.