Thanks Adam. It's really helped seeing the laws being used and well explained other than trying to find the patterns straight from a list of laws. It's helpful following you in my notebook and pausing the video trying to guess what comes next. Really appreciate the videos.
Thanks for the kind words, I’m glad you enjoyed the video! Make sure to check out my website adampanagos.org for additional content (600+ videos) you might find helpful. Thanks much, Adam
Thanks so much for this excellent explanation it helps tremendously. Just wondering if this is all I would need to do in a test or do I need to prove both sides since it is an equality.
Not sure I follow your comment. This example establishes the equality of two different sets by showing each set is a subset of the other. We do this by picking an arbitrary element of the first set, and logically deduce (using basic definitions) it is in the second set (and then vice versa). Your comment written above is written in terms of logical operators AND/OR, and not set operations (e.g set union or intersection). Also, even if these logical symbols are replaced with similar set operators, the equation you provide is not what is considered in this problem. We establish that A U (B INT C) = (A U B) INT (A U C) in this problem.
I don't know how to rearrange this nicely in the quickest way but I can prove it and maybe you can expand: x ∈ A\B = x ∈ A and x ∉ B. If x ∈ A then x ∈ A\B, if x ∉ B then x ∉ B\C. so ((x ∈ A\B )\(x ∈ B\C)) = x ∈ ((A\B)\(B\C))
wouldn't you need to prove the other direction for the last example? Assuming it is a double inclusion proof we would need to show the other direction.
No, this isn't a "double inclusion" proof. I started with one expression, and showed that it was equal to the other using logical expression manipulation. Since they're equal we're done. If I'd started with, "Let x be in the first set ....." and showed that it was in the 2nd set, then I'd need to do the "other direction". But, that's not what was done here. Hope that helps.
No, I don't think I made a mistake. In the part (b), the goal was to prove an identity that involved the UNION and INTERSECTION of sets. To accomplish this I used the distributive law of the DISJUNCTION operator (i.e. the OR operator). The distributive law of the disjunction operator was already established previously. The strategy here was to transform the set union/intersection expression into an equivalent notation so we can use core properties of the and/or logical connective to verify the expression. No mistakes made as far as I can tell.
Thanks Adam. It's really helped seeing the laws being used and well explained other than trying to find the patterns straight from a list of laws. It's helpful following you in my notebook and pausing the video trying to guess what comes next. Really appreciate the videos.
Glad I could help; thanks for watching!
love this explanation,...very helpful...thank you, keep it up...God bless
I have been learning different types of proofs but was always hesitated, after this video my mind is clear as the sky.
Thanks for the kind words, I’m glad you enjoyed the video! Make sure to check out my website adampanagos.org for additional content (600+ videos) you might find helpful. Thanks much, Adam
والله يو ار ذا بيسست شرحك ناار انته احسن واحد بالعالم ليش ماتيي تدرسني بجامعتنا لييششش
Thanks much, glad I could help!
Thank you very much!
Thank you so much for this! Really helped :)
Thanks so much for this excellent explanation it helps tremendously. Just wondering if this is all I would need to do in a test or do I need to prove both sides since it is an equality.
At time 4:00 of the video, isn't better to say that the first term is the empty set instead of contradiction?
No, those are logical statements so they evaluate to some logical T or F. They aren't sets.
dude ur lit. ty fam
For the second example, b) U should consider the cases and not "jump" a huge step to show A or ( B and C ) = (A and B) or (A and C)
Not sure I follow your comment. This example establishes the equality of two different sets by showing each set is a subset of the other. We do this by picking an arbitrary element of the first set, and logically deduce (using basic definitions) it is in the second set (and then vice versa). Your comment written above is written in terms of logical operators AND/OR, and not set operations (e.g set union or intersection). Also, even if these logical symbols are replaced with similar set operators, the equation you provide is not what is considered in this problem. We establish that A U (B INT C) = (A U B) INT (A U C) in this problem.
this exact problem showed up on my test, LOL!
Hmm.....very curious.....
Thank u so much but could you help me in that e.g :
Prove that
((A\B)\(B\C))=(A\B) ???? [HELP]
I don't know how to rearrange this nicely in the quickest way but I can prove it and maybe you can expand: x ∈ A\B = x ∈ A and x ∉ B. If x ∈ A then x ∈ A\B, if x ∉ B then x ∉ B\C. so
((x ∈ A\B )\(x ∈ B\C)) = x ∈ ((A\B)\(B\C))
wouldn't you need to prove the other direction for the last example? Assuming it is a double inclusion proof we would need to show the other direction.
No, this isn't a "double inclusion" proof. I started with one expression, and showed that it was equal to the other using logical expression manipulation. Since they're equal we're done. If I'd started with, "Let x be in the first set ....." and showed that it was in the 2nd set, then I'd need to do the "other direction". But, that's not what was done here. Hope that helps.
@@AdamPanagos copy
I want for cbse
u did wrong in 2 example
you proved distributive law by using distributive law....
No, I don't think I made a mistake.
In the part (b), the goal was to prove an identity that involved the UNION and INTERSECTION of sets. To accomplish this I used the distributive law of the DISJUNCTION operator (i.e. the OR operator). The distributive law of the disjunction operator was already established previously. The strategy here was to transform the set union/intersection expression into an equivalent notation so we can use core properties of the and/or logical connective to verify the expression. No mistakes made as far as I can tell.