How to do a PROOF in SET THEORY - Discrete Mathematics

We learn how to do formal proofs in set theory using intersections, unions, complements, and differences.

0:00 - [Intro]
0:49 - [Language of Set Theory]
3:31 - [Proof #1]
6:15 - [Proof #2]
11:12 - [Proof #3]
14:25 - [Proof #4]

#SetTheory #Proofs #DiscreteMath

*--Playlists--*

*--Recommended Textbooks--*

Hello, welcome to TheTrevTutor. I'm here to help you learn your college courses in an easy, efficient manner. If you like what you see, feel free to subscribe and follow me for updates. If you have any questions, leave them below. I try to answer as many questions as possible. If something isn't quite clear or needs more explanation, I can easily make additional videos to satisfy your need for knowledge and understanding.

Special Thanks to the following incredible supporters for supporting the channel and making these videos possible!
- Nikita Tsyganov

[Trevtutor]

It comes with video lectures, text lectures, practice problems, solutions, and a practice final exam!

[Trevtutor]

How many of you wanted to cry the first time you had to do one of these? :'(

[yuto]

I just realized that both the intersection (Upside-down U) and the union (U) symbols also correspond to the logical operator AND (Upside-down V) and OR (V).

[dankdreamz]

Thank you! You managed to reignite my passion for the subject matter that my professor managed to extinguish.

[shawntyler]

literally uploading along with my semester's schedule, thank you

[megamehdi]

I wish you could upload more often, I love watching and learning from your videos.

[absence]

Neat introduction, I do feel more confident with the basic proofs, however once encountering functions everything starts feeling less intuitive or formulaic but rather abstract especially since you cant visualize it anymore.

[spicy]

Thank you, you have a gift of explaining it well and understandably for beginners!

[artzychen]

Thank you very much for this, i have an exam tomorrow and I was still having trouble with proving with using sentences but you made me understand better !!! I hope I'll be able to answer

[andristic]

Nice simple tutorial. I'm using free texts and they are great but it's so handy to have someone walk me through a couple proofs.

[Mercedes-Scott]

Thank you, you have a gift of explaining it well and understandably for beginners!

[daisydelaneyful]

You are a lifesaver! I have a huge test on monday and I can't stand set theory, so grateful for this.

[RealEverythingComputers]

One of the best video explaining set theory proofs. Thank you so much!

[emiliasuero]

I found it so difficult to underestand how to proof, and with this video is it now more clear to me, THANK YOU <3

[euanliew]

Hi, for 12:18 where u wrote x does not belong to AUB, why did you write 'and' instead of 'or' for the next line? I thought U operators used 'or' instead? Thank you..

Edit: Does it work oppositely when you apple e with a slash?

[andrewdupree]

Great video to refresh my memory for an upcoming exam. I'm not too sure if the graders at my university would be okay with 7:24 though.
I think 'x (is not an element of) B n C ' would have to be rewritten as 'x (is an element of) the complement of B n C' (by definition of complement) and then you'd have to use De Morgans for sets.
Or if the graders are super picky you'd have to prove using logical equivalences and set builder notation.

[jw-modern-web-developer]

thank you so much for making these videos! i feel more confident of doing set proofs now

[Deksudo]

Thank you for blessing us newcomers with freshly uploaded content in the middle of a half-decade-old playlist

[aidan]

This video is brilliant and has been a massive help in making me understand set theory! Thank you so much!

[danilojonic]

You subconciously applied one of the De Morgan's laws in Proof #2 with B^c and C^c being equal to -B and - C accordingly. So from x not in (B and C) we got to x not in B or x not in C if this transition from 'and' to 'or' confused some of you here's a good explanation of it. Written with logic grammar: -(B and C) <=> (-B) or (-C)