Proof by Contradiction | Explanation + 5 Examples

Поділитися
Вставка
  • Опубліковано 28 лис 2024
  • In this video, I explain the basic idea of the proof by contradiction method. Then I show 5 examples of using proof by contradiction to prove some propositions.
    Thanks for watching! Comment below with questions, and make sure to keep flexin' those brain muscles!
    Facebook:
    / braingainzofficial
    Instagram:
    / braingainzofficial

КОМЕНТАРІ • 57

  • @luketrebisacci2754
    @luketrebisacci2754 3 роки тому +66

    VERY disappointed. In the thumbnail, I was promised FIRE. I expected you to hold and bend fire while teaching me pre calculus. I am unsubscribing and disliking this video.

  • @peter4844
    @peter4844 4 роки тому +27

    I watched 3 different videos before coming here. Yours by far did the best explaining. I followed along with a similar problem and got my answer successfully :)

  • @melinawettstein4361
    @melinawettstein4361 4 роки тому +11

    i’m taking a midterm on proofs today so this video was perfect timing

  • @kingfisher7360
    @kingfisher7360 2 роки тому +6

    Now that was an effective video. I had almost given up, but this made it so easy. Thank you!

  • @AlulaZagway
    @AlulaZagway Рік тому

    That simplicity in your explanation and the aura on you are gooooood...Thank you...I have subscribed

  • @loveconomics
    @loveconomics 4 роки тому +8

    What an amazing video. Clear and concise. Thank you!

  • @kaniarisjad8123
    @kaniarisjad8123 4 роки тому +2

    this by far the most helpful video. thanks!

  • @AshishSingh-753
    @AshishSingh-753 4 роки тому +3

    Hey Andrew keep it up your content heal the pain of abstraction of concept

  • @RubiMercuri
    @RubiMercuri Рік тому +1

    thankyou so much this video helped more than i expected!

  • @manavpatelpatel9735
    @manavpatelpatel9735 2 роки тому +1

    I personally love this video it was wonderful. I'm liking this video.

  • @LemuelYeboah
    @LemuelYeboah 7 місяців тому +1

    The explanation is really simple
    Thanks

  • @nightshade7092
    @nightshade7092 2 роки тому

    The chalk board sounds are so satisfying! I have my P4 A level mocks in a few hours, very well prepped but always found proof difficult, but not so much after this video! Thank you very much

  • @frederickteye
    @frederickteye 7 місяців тому +1

    Thank you chairman

  • @ruantristancarlinsky3851
    @ruantristancarlinsky3851 3 роки тому +15

    Man you really helped me out a lot bro, you explained really well and I kinda like math a little more now😂👌

  • @axelletougouma8792
    @axelletougouma8792 3 роки тому +2

    You are the best 🤗🎊

  • @segfault1361
    @segfault1361 9 місяців тому +1

    The third and fourth proofs can also be proven by contrapositive

  • @yamatanoorochi3149
    @yamatanoorochi3149 10 місяців тому

    ~(p->q) is p and ~q
    So 3n + 7 is even and n is even
    (Matches with contrapositive?)
    3n + 7 = 2k where k is any odd integer and n = 2m with m being any odd integer
    3(2m) + 7 = 2k
    6m + 7 = 2k
    7 = 2(k - 3m)
    Spz a number g = k-3m
    7=2g
    Implying that 7 is even, which is a contradiction
    Hence the original statement is true
    Would having 2 different odd integers be false?
    Thanks

  • @iraklimikadze9950
    @iraklimikadze9950 4 роки тому +1

    This video helped me a lot. Thanks!

  • @prosperademoye7713
    @prosperademoye7713 Рік тому

    Thank you so much this really helped me in my exam

  • @Albaraa_Sabrin
    @Albaraa_Sabrin 5 місяців тому

    Brilliant 🎉

  • @RS-xu1dm
    @RS-xu1dm 3 роки тому +1

    Is this correct for the last example? >> a^2 = 4b +2 and then a = sqrt of 4b +2. and after taking square root by plugging in values for b, a = a decimal number. Hence a is not an integer. So our assumption is not true.

  • @TwoTerrificTails
    @TwoTerrificTails 4 роки тому +1

    SUPER helpful, thank you!!!

  • @hannanmulla7623
    @hannanmulla7623 9 місяців тому

    there may have been a small mistake in the truth table where p is F and q is T. I think (p->q) should be F. and (p^~q) should be T.

  • @RENCIOL
    @RENCIOL 4 роки тому +3

    Nice vid!

  • @AlulaZagway
    @AlulaZagway Рік тому

    can we assume negation of p to be false and by contradiction run to be true and conclude p is false?

  • @MadalitsoKhoza
    @MadalitsoKhoza Рік тому

    Well explained 👏

  • @christophershaba2492
    @christophershaba2492 Рік тому

    i like your stuff bro and im really flexing my brain muscles

  • @justinotherpatriot1744
    @justinotherpatriot1744 2 роки тому

    Well, this was awesome.

  • @jdmoon9533
    @jdmoon9533 3 роки тому

    Simply amazing!

  • @rigbyb
    @rigbyb 10 місяців тому

    Great video, thanks a lot

  • @swornimdangol5387
    @swornimdangol5387 2 роки тому

    I assume you want the proof explained in a little more detail.
    Here's what the proof says in English. Lets assume that conditions 1 and 2 hold. We use a proof by contradiction that it must be true for all n>=1.
    As with all proofs by contradiction, we assume the statement is false and then show it leads to a contradiction. So we assume there is some s for which P(s) is false. Lets pick the smallest s where P(s) is false. (We know that there must be a smallest number s where it is false, because any non-empty set of natural numbers must contain a smallest value). But we know that P(s-1) is true (because s is the smallest value where P(s) is false, and s-1 is less than s). But if P(s-1) is true, then P(s-1+1) = P(s) is true, contradicting our assumption that P(s) is false. Therefore there cannot be any s where P(s) is false.
    The s-1 finds the number immediately before the rule supposedly breaks down. But we know that if P(s-1) is true then P(s) must also be true, because of condition 2. This contradicts our assumption that the rule doesn't hold for P(s).
    Well-ordering appears explicitly when we use the fact that any non-empty collection of natural numbers (in this case the collection of natural numbers x where P(x) is false) must have a lowest number.
    More generally, the well-ordering principle states that if you consider 1,2,3 ... then this list will contain all natural numbers; there are no natural numbers that cannot be reached by starting at 1 and adding 1 repeatedly. If there were any missing numbers (ie if the set cannot be well ordered) then proof by induction would not work.

  • @jshringo77
    @jshringo77 3 роки тому +1

    you are the goat

  • @kirimievansgitonga3449
    @kirimievansgitonga3449 Рік тому

    the video was very awesome🥰🥰🥰🥰

  • @takondwatanganyika5203
    @takondwatanganyika5203 2 роки тому

    So helpful..thanks

  • @karengracebaniwat6573
    @karengracebaniwat6573 3 роки тому

    sir? how about using proof of contradiction, for all real numbers x, if x is irrational, the -x is irrational..

  • @Phoenix-cg3hq
    @Phoenix-cg3hq Рік тому

    that was helpful

  • @TseboLiphoko
    @TseboLiphoko Рік тому

    Thanks bro

  • @mushfiqshahriar6454
    @mushfiqshahriar6454 2 роки тому

    tnx a lot sir it really helped

  • @tibrummichael2715
    @tibrummichael2715 Рік тому

    God bless you

  • @MalkoleBG
    @MalkoleBG Рік тому

    thank you

  • @maxhmetonxrono
    @maxhmetonxrono 3 роки тому

    Man GG the best ty !!!!

  • @Flux281
    @Flux281 3 роки тому +1

    hi, do you have videos on predicate logic ?

  • @jehoshaphatjimmy4069
    @jehoshaphatjimmy4069 2 роки тому

    How can we prove my contradiction that the world is round?

  • @ChrisInTheNorth
    @ChrisInTheNorth 2 роки тому

    I'm not sure all of these need the contradiction formulation to prove

  • @yamatanoorochi3149
    @yamatanoorochi3149 10 місяців тому

    Damn right I'm gonna flex em

  • @nandinireddy779
    @nandinireddy779 4 роки тому +2

    Awww!! So handsome i watched u throughout the video instead of listening

  • @hindabdullah6470
    @hindabdullah6470 3 роки тому +1

    انتا مُزه ي استاد

  • @shauny4596
    @shauny4596 2 роки тому

    but you are handsome. how is a handsome man like you became so smart ?

  • @meanderer9808
    @meanderer9808 7 місяців тому +1

    this is proof by contraposition

  • @EpicMathTime
    @EpicMathTime 4 роки тому +6

    This dude thinks he's fancy with his 60 fps

  • @plsletmomodrive
    @plsletmomodrive Рік тому

    wait omg why is he so hot... i dont hate discrete math as much anymore...

  • @Abhinavkumar-og3xd
    @Abhinavkumar-og3xd 11 місяців тому +1

    Please speak in hindi.

  • @JudithTennes-f6v
    @JudithTennes-f6v Рік тому

    Your explanation is too fast can you slow it down please

  • @Loots1
    @Loots1 Рік тому

    thats a 2? nah bro thats a z lol