Thank you so much, this is the video I needed! You explain it from the grass root level. Most of these lecturers on TH-cam just jump straight into the hard core math stuff, no explanations no Vaseline.
Thank you thank you!! From reading the textbook, watching your videos, I was one of the few not lost in class last night! Prepping for next class trying to understand Quantifiers and you did it again! Huge thanks!!!
Also, if you want to stack quantifiers, be very careful of order. For a good informal example from Discrete Mathematics with Applications by Susanna S Epp, if L(x, y) is a predicate meaning “x loves y”, then AxEy L(x, y) means “Everyone has someone they love” (more formally, “For all people x, there is a person y such that x loves y”), but EyAx L(x, y) means, to quote the book, “that there is one truly amazing individual who is loved by all people” (“There is a person y such that for all people x, x loves y”). This ambiguity also comes across in the more informal English wording “Everybody loves somebody.” This is only when mixing E and A types; when the quantifiers are the same types, order doesn’t matter (ExEy and EyEx are the same). In fact, I was recommended this video by this online textbook thing called ZyBooks which I’m learning from, and provides a nice analogy for how the stacked quantifiers work. Basically, when evaluating a proposition with quantifiers, you can think of it as like a game between two players, E and A. These two fill in the variables in the proposition in order of the quantifiers; when A fills one in, it’s trying to make the proposition false, while E is trying to make it true. For example, with a statement like AxEy (x+y=0), the first turn goes to A, who may fill in x with any number, and wishes to make a false proposition. However, no matter what number he fills it in with, E can then pick a y=-x, so x and y sum to 0. Thus E wins, and the proposition is true. However, with EyAx (x + y = 0), E goes first; no matter what they fill in y with, A is free to choose any value other than -y for x, which makes the proposition false; thus A wins and it is false. For a slightly more complex example, try ExAy (abs(y + 1/y) > x). E goes first, and can fill in x. It turns out that if they pick any number less than 2, A is foiled; no matter what they put into y, y + 1/y never has an absolute value less than 2. As such, A loses and the proposition is true.
The analogy of E (the existential quantifier, symbolized by ∃) and A (the universal quantifier, symbolized by ∀) as players in a game is a conceptual way to understand how quantifiers work in predicate logic. Here's how the two "players" are defined in this context: E (Existential Quantifier ∃): When ∃ precedes a variable, it means "there exists" or "there is at least one." The goal of the E player in this analogy is to find at least one instance that makes the statement true. E is satisfied with finding a single example that works. A (Universal Quantifier ∀): When ∀ precedes a variable, it means "for all" or "every." The goal of the A player is to ensure that the statement is true for every possible instance. A wants the statement to hold universally, without exception. When these quantifiers are "stacked," or placed in sequence, it creates a game-like scenario where E and A take turns "choosing" values for the variables they are quantifying, with their goals opposed. E tries to prove the statement true, while A tries to prove it false. The order of the quantifiers is crucial because it determines the order of play in this game. Let's use your examples to explain the analogy: AxEy (x + y = 0): A's turn (Universal Quantifier ∀x): A must pick a value for x that it believes could lead to the proposition being false for some y. E's turn (Existential Quantifier ∃y): After A picks x, E tries to find a value for y that makes x + y = 0 true. Outcome: E can always pick y = -x to make the equation true, regardless of A's choice. Therefore, E wins, and the proposition is true for all x. EyAx (x + y = 0): E's turn (Existential Quantifier ∃y): E must choose a value for y hoping to make the proposition true for all x. A's turn (Universal Quantifier ∀x): A will then try to find a value for x that does not satisfy the equation x + y = 0, aiming to prove the proposition false. Outcome: No matter what E chooses for y, A can always choose an x that is not equal to -y, making the proposition false. Therefore, A wins, and the proposition is false because it does not hold for all x. ExAy (abs(y + 1/y) > x): E's turn (Existential Quantifier ∃x): E needs to pick an x such that no matter what y is chosen afterward, the inequality abs(y + 1/y) > x will be true. A's turn (Universal Quantifier ∀y): A will then try to pick a value for y to disprove the inequality for the chosen x. Outcome: If E chooses any x less than 2, A cannot find a y to make the inequality false, because the absolute value of y + 1/y is always at least 2 (achieved when y=1 or y=-1). Therefore, E wins, and the proposition is true. The takeaway from this analogy is that the order in which you stack quantifiers fundamentally changes the meaning of a logical expression, and understanding this interaction can help determine the truth value of complex statements in predicate logic.
Excellent teaching method, very clear, a little repetition and emphasis on key points, man this was very, very helpful. I will like, subscribe, and be back.
@Trefor Bazett But how it can be both,I am precisely asking what does the definition of even numbers refers to.Or for simply,the definitions of chairs,tables,spoons etc refers to a class satisfying the stated property or these terms symbolise any object satisfying stated property. 2 is even number.True But in what sense?
These videos are epic! its almost perfect.... if only there was examples of how thee concepts could be applied on questions you would see in HW or tests this would be beyond amazing!
This is a good video, but it bears mentioning that the universal is usually translated as conditional, while the existential is a conjunction. Using your example, “Every dog is a mammal” can be more precisely translated as ∀x(Dx->Mx), where D is the predicate “is a dog”, and M the predicate “is a mammal”. It’s easy to see how an existential of the form “some A are B” is just a negated universal since a logically equivalent way of expressing the above example is ~∃x(Dx∧~Mx). An analogous case could be if the unique existential were introduced as a primitive quantifier without first showing that it can be expressed as ∃x∀y(Fx∧(Fy->y=x)).
I would like to ask if there is any difference between "every" and "all".. I think they express different meanings but can the universal quantifier express the difference?
@@DrTrefor Yes, I can catch that. I found few books or academic modules use that kind of writing style, but honestly it's bothering when I read it. Your explanation in the video is awesome. Thanks a lot, sir!
My professor told me to buy a book and then write summaries based on it's horrific wording. Thank you for your work. I hope you're monetized and I hope this is a nice trickle of residual meals for the rest of your life.
This is mostly teaching the shorthand, instead of teaching the matter itself. The matter itself is present but in focus is the Abbreviations it feels a bit backwards.
I need to ask, I really think "P(x) : Dogs are mammals" is already a statement since we already knew that all dogs are mammals regardless of its specific name or values. Pls explain. Thanks of the video helped me alot :)
Sir, can you help me with a question? Regarding quantifiers... Let L(x, y) be the statement “x loves y,” where the domain for both x and y consists of all people in the world. Use a quantifier to express this statement. statement: Joy does not love someone my answer: Ey ㄱL(Joy, y) lecturer's answer: Ex ㄱL(Joy, x) I dont understand her answer 😅 did she sub someone labelled as x into the y part? where did I go wrong
It looks like functional programming but the math has complicated notation. In javascript, we have .every() and .indcludes() functions witch is like "For all" and "There Exists"
I’m literally watching rn in my math class.
TheBrownBear when some random video on youtube makes you understand more than when your teacher teaches you
i was today too 🙃
I'm literally shaking and crying right now
Proud of you
Cheers @@walltuhwhite
Not all heroes wear cape.... but dude you deserve one..Thanks!!
Bro my teacher don't tell meaning of those symbol 😭
This playlist might be the only thing keeping me sane for my Discrete class. THANK YOU SOOOO MUCHHHHHHH
your lectures helped me to get through my semister
You should be my lecturer. You are amazing. Thank you for the video.
Thank you so much, this is the video I needed! You explain it from the grass root level. Most of these lecturers on TH-cam just jump straight into the hard core math stuff, no explanations no Vaseline.
I am grateful for the clarity of your breakdown of the problem. Thank you
Thanks a lot for making this video, I really see your passion of demonstrating these concepts.
Hello I need help how can I find a Spanish teacher
Thank you for making these videos. Your explanation is a lot easier to understand!
Your tutorials are really educative. I have been educated so much by your tutorials thanks a lot. Now i have a real passion for mathematics 👍
Very helpful video...and great use of technology👍👍
Your explantions and examples about the universal and existential quantifiers are so well.Thanks.
Thank you thank you!! From reading the textbook, watching your videos, I was one of the few not lost in class last night! Prepping for next class trying to understand Quantifiers and you did it again! Huge thanks!!!
Nice! Glad it helped:)
Very nice explanation sir,
I love watching your videos
You explain it clearly and very nicely
🥰🥰🥰🥰🥰
Love from INDIA
this is more clearer than my previous math class
I can't understand my professor because of his accent. Thank you so much
I hope I don’t have a teacher that I can’t understand
feel you fam
🤣
@@vishnu.s_ hes talking bout u
Thanks Sir, Made me Understands more than my lecturer.
Your videos are just mind-blowing ..it helped me a lot thankyou so much ☺️☺️
My pleasure 😊
Didn't find a better explanation. Thank you.
Also, if you want to stack quantifiers, be very careful of order. For a good informal example from Discrete Mathematics with Applications by Susanna S Epp, if L(x, y) is a predicate meaning “x loves y”, then AxEy L(x, y) means “Everyone has someone they love” (more formally, “For all people x, there is a person y such that x loves y”), but EyAx L(x, y) means, to quote the book, “that there is one truly amazing individual who is loved by all people” (“There is a person y such that for all people x, x loves y”). This ambiguity also comes across in the more informal English wording “Everybody loves somebody.” This is only when mixing E and A types; when the quantifiers are the same types, order doesn’t matter (ExEy and EyEx are the same).
In fact, I was recommended this video by this online textbook thing called ZyBooks which I’m learning from, and provides a nice analogy for how the stacked quantifiers work. Basically, when evaluating a proposition with quantifiers, you can think of it as like a game between two players, E and A. These two fill in the variables in the proposition in order of the quantifiers; when A fills one in, it’s trying to make the proposition false, while E is trying to make it true.
For example, with a statement like AxEy (x+y=0), the first turn goes to A, who may fill in x with any number, and wishes to make a false proposition. However, no matter what number he fills it in with, E can then pick a y=-x, so x and y sum to 0. Thus E wins, and the proposition is true. However, with EyAx (x + y = 0), E goes first; no matter what they fill in y with, A is free to choose any value other than -y for x, which makes the proposition false; thus A wins and it is false.
For a slightly more complex example, try ExAy (abs(y + 1/y) > x). E goes first, and can fill in x. It turns out that if they pick any number less than 2, A is foiled; no matter what they put into y, y + 1/y never has an absolute value less than 2. As such, A loses and the proposition is true.
Too long
Thanks a looot buddy
The analogy of E (the existential quantifier, symbolized by ∃) and A (the universal quantifier, symbolized by ∀) as players in a game is a conceptual way to understand how quantifiers work in predicate logic.
Here's how the two "players" are defined in this context:
E (Existential Quantifier ∃): When ∃ precedes a variable, it means "there exists" or "there is at least one." The goal of the E player in this analogy is to find at least one instance that makes the statement true. E is satisfied with finding a single example that works.
A (Universal Quantifier ∀): When ∀ precedes a variable, it means "for all" or "every." The goal of the A player is to ensure that the statement is true for every possible instance. A wants the statement to hold universally, without exception.
When these quantifiers are "stacked," or placed in sequence, it creates a game-like scenario where E and A take turns "choosing" values for the variables they are quantifying, with their goals opposed. E tries to prove the statement true, while A tries to prove it false. The order of the quantifiers is crucial because it determines the order of play in this game.
Let's use your examples to explain the analogy:
AxEy (x + y = 0):
A's turn (Universal Quantifier ∀x): A must pick a value for x that it believes could lead to the proposition being false for some y.
E's turn (Existential Quantifier ∃y): After A picks x, E tries to find a value for y that makes x + y = 0 true.
Outcome: E can always pick y = -x to make the equation true, regardless of A's choice. Therefore, E wins, and the proposition is true for all x.
EyAx (x + y = 0):
E's turn (Existential Quantifier ∃y): E must choose a value for y hoping to make the proposition true for all x.
A's turn (Universal Quantifier ∀x): A will then try to find a value for x that does not satisfy the equation x + y = 0, aiming to prove the proposition false.
Outcome: No matter what E chooses for y, A can always choose an x that is not equal to -y, making the proposition false. Therefore, A wins, and the proposition is false because it does not hold for all x.
ExAy (abs(y + 1/y) > x):
E's turn (Existential Quantifier ∃x): E needs to pick an x such that no matter what y is chosen afterward, the inequality abs(y + 1/y) > x will be true.
A's turn (Universal Quantifier ∀y): A will then try to pick a value for y to disprove the inequality for the chosen x.
Outcome: If E chooses any x less than 2, A cannot find a y to make the inequality false, because the absolute value of y + 1/y is always at least 2 (achieved when y=1 or y=-1). Therefore, E wins, and the proposition is true.
The takeaway from this analogy is that the order in which you stack quantifiers fundamentally changes the meaning of a logical expression, and understanding this interaction can help determine the truth value of complex statements in predicate logic.
Ah thank you very much for this clarification. I was getting confused at the exact same thing and the book I am using doesn't state this.
Well prepared, thanks for the explanation
I'm so grateful for these videos. Thank you
And then I wonder why are we paying the hefty tuition fees when it should be profs like Trefor who deserve it.
It is pathetic!My uni uses 100% TH-cam content. I'm basically paying lots of money for 100% self-study .
In the end we pay for a piece of paper that proves our competence, not the competence itself
Excellent teaching method, very clear, a little repetition and emphasis on key points, man this was very, very helpful. I will like, subscribe, and be back.
😲Do you write inverted on glass?or editing.superb pretty understandable👌
Best channel☺😀😊
thanks a lot . love from india . well explained 👍👌
Thank you so much for this. i was really struggling with understanding it but you made it so simple.
Your explanation in easy to understand than my teacher
Glad it helped!
Çoox gözəl izah verdiniz!, təşəkkür edirəm! 🍀👍
you are the best
Im gonna take u as my maths teacher.
Thank you!
@Trefor Bazett But how it can be both,I am precisely asking what does the definition of even numbers refers to.Or for simply,the
definitions of chairs,tables,spoons
etc refers to a class satisfying the stated property or these terms symbolise any object satisfying stated property.
2 is even number.True
But in what sense?
Amazing explanation about this term. Thank you Trefor!
I love how these videos end, it's a literal mic drop. 🎤
Wow
I need this man to be my teacher ✌️
He explained everything cleanly
Thx so much better than my teacher
You're welcome 😊
All dogs are mammals and at least one of them is called spot.
Very clear explanation and cool display, thank you so much!
Really appreciate your explanations. Helps me a lot!
great great , understandable to the core and helpful !!
Great explanation, very clear voice.
Thank you
literally the best
Thank you Dr Trefor ☺
your lessons are short but good
You've helped me alot sir thank you
you are simply great
Thanks Brother.... It helps me a lot... Again thanks
thanks doc ur lectuers helped me ............. from Egypt
Thank you so much! This was really helpful.
I love ur video sir, just wish I can tap into ur blessings
Thank you sir, clear this topic.
These videos are epic! its almost perfect.... if only there was examples of how thee concepts could be applied on questions you would see in HW or tests this would be beyond amazing!
I’ve long thought of building out an official course, but it’s still a long time away
@@DrTrefor do you offer tutoring haha ill pay per hour lol
This is a good video, but it bears mentioning that the universal is usually translated as conditional, while the existential is a conjunction. Using your example, “Every dog is a mammal” can be more precisely translated as ∀x(Dx->Mx), where D is the predicate “is a dog”, and M the predicate “is a mammal”. It’s easy to see how an existential of the form “some A are B” is just a negated universal since a logically equivalent way of expressing the above example is ~∃x(Dx∧~Mx).
An analogous case could be if the unique existential were introduced as a primitive quantifier without first showing that it can be expressed as ∃x∀y(Fx∧(Fy->y=x)).
Thanks so much for this most helpful video. I've been studying maths for 16 months now. I love it. It's something I cannot not do.
Does he write mirrored? Damn thats cool
Smart board does the same thing bro
Lol came to comments section for this question
no . He writes and then they flip the video
haha i wish i spent years mastering writing mirrored, but sadly just flipped it on the computer:D
Lmao
so much better than my professors lol thanks!
haha, glad it helped!
@@DrTrefor so such that can be written as, too
Can a “∀” substitute “+/-“ in a given tolerance? And will the answer still be within tolerance?
9:30 min video > 1 week lecture 👍👍
One of the best videos I was struggling to find out ! (Y)
Very useful content! Glitch in the matrix at 2:08
Clearly explained. Thank you.
I would like to ask if there is any difference between "every" and "all".. I think they express different meanings but can the universal quantifier express the difference?
Trefor Bazett Thank you very much😊
Excellent Lecture
Do you have a video of choice function and scope?
Wonderful explained sir 🤘
He is so motivated 😍
Is it allowed that someone writes the predicate first then the quantified variable? For instance, P(x), ∀x ∈ D instead of ∀x ∈ D, P(x).
@@DrTrefor Yes, I can catch that. I found few books or academic modules use that kind of writing style, but honestly it's bothering when I read it.
Your explanation in the video is awesome. Thanks a lot, sir!
Thank you!
thank you, very helpful!
Please do you have a full course tutorial videos for logic? Thank you
Trefor Bazett ok I’ll go through it. Thanks
Very cool Board and Discussion
I'm new to discrete structures or predicate logic and I'm struggling to understand the applications.
YOU ARE AMAZING!!
what is the universal quantifier for sentence "everyone saw someone"?
No matter how good the teacher is i will never feel the meaning t
Of these wierd @$ confising symbol 😭😭😭
9:30 min video > 1 week lecture 👍
My professor told me to buy a book and then write summaries based on it's horrific wording. Thank you for your work. I hope you're monetized and I hope this is a nice trickle of residual meals for the rest of your life.
Excellent video thanks.
good lesson ....but how could you write in an opposite direction
i mean for all people in the world, there exists.....................
My prof is too lazy to teach us online so she gave us module but we can't understand a thing, Thank you for this!
That's so frustrating!
@@DrTrefor That's what they called the new normal. My classmates keeps asking how to do it but none of us know because we can't understand the module.
you are great. I want say, thank you for lecture!!!
Thanks , sir this video is beneficial for us
thank you so much for the help!! hopefully i wont fail this class now
It confuse me more how he can write like that than the lecture itself
This is mostly teaching the shorthand, instead of teaching the matter itself. The matter itself is present but in focus is the Abbreviations it feels a bit backwards.
I need to ask, I really think "P(x) : Dogs are mammals" is already a statement since we already knew that all dogs are mammals regardless of its specific name or values. Pls explain. Thanks of the video helped me alot :)
Awesome explaination. Thanks alot sir.
Sir plzz help
All integers are rational.
Sir how to write logical notation of this statement..
Thank you teacher.
can you please explain some sentences which starts with "If". for example, If a girl is cute, some boys will love her.
Hi sir , plz give the solution for
There is a student who likes mathematics but not geography
“Math has entered the chat” :me “I was trying to see how to write a universal statement for English. “English has left the chat”
You should have something that denotes in which order the videos should be seen. Like Chapter 1, Chapter 2 or 1.1, 1.2, etc.
Thanks Sir
With rescept from The University of Lahore
really great
Sir, can you help me with a question? Regarding quantifiers...
Let L(x, y) be the statement “x loves y,” where the domain for both x and y consists of all people in the world. Use a quantifier to express this statement.
statement: Joy does not love someone
my answer: Ey ㄱL(Joy, y)
lecturer's answer: Ex ㄱL(Joy, x)
I dont understand her answer 😅 did she sub someone labelled as x into the y part? where did I go wrong
@@DrTrefor Thank you sir! I appreciate it a lot, my favorite Math Professor 🙆♀️
It looks like functional programming but the math has complicated notation. In javascript, we have .every() and .indcludes() functions witch is like "For all" and "There Exists"
Wow I like it. Keep it up.
you must be cool teacher