Discrete Math 1.5.2 Translating with Nested Quantifiers

[ozzyfromspace]

Your lectures are amaze-balls! Thank you, Professor Brehm. I'm not a math major (actually I don't even attend a college) but your explanations have me hooked. I'm interested in eventually learning more advanced logic and getting into hyperreal numbers and set theory. Thanks for making this information accessible to noobs like me :)

-Float Circuit

[somethingedgar]

Got a midterm tomorrow morning and this helped me understand translating predicates so much better, thank you!

[ISLAMguidanceful]

iam watching you instead of attending my actual lecture and iam not sorry about it. thanks for great content!

[ClintonomoBay]

8:20, be careful using "either or" because that could indicate Exclusive or (XOR). Other than that, thanks for this video! I have a midterm tomorrow and this helped me review!

[muhammadhariskhan]

Mam Thanks A Lot . My Life Just got a lot easier .

[ehclipse]

Been using these videos to study for midterm :D

[Gzzzzzz]

I think there's a mistake in 6:00. It should be a "but" between the statement E and statement T instead of a "and".

[KangShen]

at 6:30 b., shouldn't the conjunction symbol be disjuction V, since it is "has not received a text or email"

[Andmunko]

Great series! but I think that's a very unfortunate use of 'either' at 9:00, especially how non-intuitive some people find inclusive or

[bebebewin]

For the example at 13:55, why couldn't we have let P(x, y) denote that x has flown on airline y? Why do we have to split it into two different predicates?

[papayasalad]

@15:39 ∃m ∀a ∃f (P(m, f) ∧ Q(f, a) ), can we switch order of ∀a and ∃f and put it as ∃m ∃f ∀a (P(m, f) ∧ Q(f, a) ) in this case? (I am aware that ∀x ∃y and ∃y ∀x are not the same in most cases, but in this specific case, does it make any difference if we switch order of ∀a and ∃f?) Thanks!

[animemix]

5:57 Shouldnt that be a disjunction not conjunction since its a text "or" email (Thanks for the videos ive been watching all of it it helps me alot)

[DJdoubleA]

I'm a bit confused at 6:00, in the beginning of the question it specifies that E (x, y) denotes that "x sent y an email" however in the answer it reads out that: "there exists an x such that all y's etc" when I thought it would instead be "there exists a y such that all x's etc" because the student in the class is the only person who did not receive anything not the only person who did not send anything. Can you please explain this to me a little more in detail? And thank you for this playlist btw it is really helping me out cuz i cannot understand my prof for the life of me XD

[turboleggy]

Around 12:18 I dont agree with how x and y were first presented being in the universes of student and class (respectively) at first and then x and y both became students for the sentence below it.

[TheLockAndLoll]

I'm a bit confused at 6:30 for part B.
With the implication, if x were to equal y, then the implication would come out true (because false -> ___ always equals true). Shouldn't it come out false if x and y are equal? Also, there exists an x where all y's don't equal isn't true so that confuses me too. It made sense verbally to me, but when I try to work it out logically it confuses me...

[femaledeer]

This makes no sense to me. y is defined as a class, not a student, and z is never defined as to what it is.

[animemix]

11:15 S(x, y) denotes "student x has taken class y" then how did "y" become a student and z became a class? when it denoted "y is a class" and z was never denoted on the statement??(Thanks for the videos ive been watching all of it it helps me alot)

[pietropecora]

Strange when you had "BU" on the video. I don't go to your BU (Bellevue) but I do go to a BU (Boston U).

[miat]

Why is y a student and not a class at 12:00 ?

[editingisfun]

it's more confusing than my professor's teaching