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!
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
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.
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?
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.
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?
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?
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.
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.
@@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.
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.
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...
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.
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
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
There is no way you can understand what he's talking about, yet be stupid enough to think he is writing in reverse lmao
I’m assuming he used a mirror
@@syndrac6254 where is your proof??? (by contradiction)
The contradiction (k1-k2) being 1/2 was such a subtle and beautiful point!
Ah yes. Graduated a few years ago with my math degree but still come here to pay homage. Thanks!
deadass you cleared up every question i had about this concept within the first two minutes. ur an amazing teacher
Catherine Dinh you gotta be from New York 🤣🤣 no one says, “deadass” except for us New Yorkers hearrddd
@@re-know251 lol
I sense both teaching skill and passion
and technology and thoughts and effort and post production
Bro taught me in 9 minutes what my professor just yapped from the slides for 2 hours. MVP
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!
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
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.
This guy is the PatrickJMT of higher level math.
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💌
Your explanation is appreciated by all. Love from India❤
Thank you Dr. Trefor Bazett and I am really enjoying your DIFFERENTIAL EQUATIONS playlist as well.
This is so trippy! He's writing in reverse!
I think he mirrored it in post
But he writes "There exist like a normal E". 'Elk nadeel hep se voordeel.
look at his shirt the pocket is on the right side its mirrored
he isnt hes also right handed its mirrored in post
Sit, besides your mirror👍🏻😃
Perfect example to explain the topic! Thanks for the video, Dr. Bazett!
I must say you are so dedicated to these videos that you write in reverse! well done
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?
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.
Thanks my teachers goes way to fast and messes up a lot. This made it clear
*Lots of love from India . Sir !! You are much better than my collage professor !*
This is worth listening to than the three hours of lecture of my Professor without actually explaining anything.
This is the same example that the doctor explained to us in college 👍
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.
yeah, school level textbooks are crap basically. written by bunch of jerkoffs
thanks for this...its helpin me for my exam preparation
I usually do not write comments but I had to. You were awesome. Thank you so much. You deserve my like and sub.
Your teaching skills and writing skills outstanding . I have nothing word for your teaching .
Thank you so much 😀
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.
Hi sir!
I'm from India.
🇮🇳
Proof by contradiction is basically another word for humor
I love your passion sir and your videos are amazing
Contradiction: 1 is an even integer since there exists an integer m such as 1 = 2m
IS this universal modus tollens ??😩 Thanks for the clear explanation!
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.
Thanks for another helpful video!
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?
Beyond excellent
And there was me thinking the important methodology was SHOUTING.
i like your explanation thanks a lot
Nice explanation
Thank u so much Dr 😊 u explained so well 🤝
im on step 2 all the time
Love From india❤
what's that symbol your are using as and AND in the sentence "n is even AND odd?"
wow this video really helped a lot .. your the best
2:45 what is that symbol for and? Is it different from the upside down v?
What happened to De Morgan’s law while negating an and it becomes an or
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????
Use white colour. As chalk colour
Thank you !
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?
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?
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.
U
Sir, thanks a lot
Fun fact: a reduction is actually a proof by contradiction, but not the other way around
So is he really writing inverted?
According to De Morgan's rule isn't the negation of n is even AND odd become n is not even OR not odd?
Oh you are right. Thanks!
The real question is how did he write on the board like that?
this might be a dumb question....but are your writing backwards?
how does this work🥲
Ahhh i was thinking the same that is he really writing inverted?
LEGEND
Isn't 2(number) = 1 a contradiction because even != odd?
Yes
I want you to be my teacher huhuhu
helpful video thanks man!
now i can proof that my friend cant identify as a toaster
When do you use "such that" and ","?
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.
Great videos, bu the way. It is easy to follow your explanation.
so proof by contradiction is trying to make an insane argument that could never be true?
well this is gonna be easy.
great!! Thanks!
now wheres the proof of : diff of 2 integers is an integer :thinking:
this exercise is left to the viewer, hah!
@@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.
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.
sir with u and your method is soooooooooooooo cute
Please speak in hindi.
😂
when did jacksepticeye make math videos
Did you learn to write with left hand or you were born left-handed?
he is so handsome 🥰🥰🥰
how tf can u write like that? wttff
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...
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.
Thank You!