Discrete Math - 1.5.2 Translating with Nested Quantifiers

Translating English statements to propositions with nested quantifiers and vice versa.

Video Chapters:
Introduction 0:00
Translate a Sentence Into a Logical Expression 0:07
Translate Given Predicates 4:12
Translate a Logical Expression into English 9:06
Practice On Your Own 12:41
Translate a Sentence Into a Logical Expression Given No Info 16:01
Negate that Statement 19:01
Up Next 22:21

Textbook: Rosen, Discrete Mathematics and Its Applications, 7e

If there is a nobel prize for teaching, you deserve it. thx u for making my life so much easier.

[habib_khan]

I can't thank you enough Professor. The entire playlist is literally a gold mine for students taking DM. I've shared it to my classmates and everyone love your videos. Thank you for making this course easy for us. You're an absolute gem!

[valeriereid]

Thank you Professor Brehm I will remember you as the person who got me to understand logic.

[lindadeng]

I have a question for 15:59. Isn't z present for all of the classes at BN? For both x, y has taken all of the classes?

[theshadeofdunwall]

really helpful videos. good pacing, clear instruction and the right concepts are explained without getting too complicated

[coolkaw]

it seems that more brain power is required in this lesson compared to the ones before. I am starting to have to pause and think for a good minute or two for each question now! All of the variables and propositions can be quite overwhelming at first glance. Thanks for going through each and every step

[maryameslam]

many thanks from an Artificial intelligence major student from Egypt, God bless you <3

[LamNguyen-nmfq]

Thank you for your video. I've a hard time trying to learn discrete math until I found your channel.

[PainRUify]

At 18:00, can the answer be ExVy(p(x, y) where P(x): x has taken a flight on airline y ? Thanks!

[wintutorials]

Omg I don’t know how to thank you for these video❤❤❤❤

[danielroh]

My professor hardly teaches but your videos are so easy to understand, so thank you! The incomplete parentheses are bothering me though lol

[rchimedes]

At 14:40, I thought y was a class? Why is it now being considered a student?

[shallowfalcon]

So when you define the domain of the function does that apply to the y as well? Because you said y was another student

[Yazan_Majdalawi]

At 7:45 I have put it like this:
Ax Ey (...) _with the letters flipped of course _
is my solution still valid?

[ubk]

Nice video. Just letting you know there is an unmatched parenthesis at 8:30

[DONdayce]

If there exists an airline with all flights, how can there be a negating predicate that states that an airline doesn't have a flight when the quantifier states otherwise???

[davehlave]

6:42, for the first question, can I say For All x There Exists y E(x, y) ?

[red-svqf]

At 15:46, what's the purpose of Az then?

[tobito]

is the negation of U the upside down U, "intersection"? Sorry I am new to this concept

[听音乐-oj]

The question at 18:00 is so confusing.. lists of quantifiers