Proof of A △ (B △ C) = (A △ B) △ C (Associativity of the Symmetric Difference)

preview_player
Показать описание
In this exercise we will proof the associativity of the symmetric difference of three sets.

⏰ Timeline
00:00 Exercise
00:26 Symmetric difference
01:09 Simplifying
03:51 Symmetric difference of the right side
04:14 Simplifying
04:46 Comparing
05:15 Conclusion

🔢 Equation to proof
A △ (B △ C) = (A △ B) △ C

📜 All Discrete Mathematics Exercises

📜 All Linear Algebra Exercises

🎵 Music
Creative Commons — Attribution 3.0 Unported — CC BY 3.0
Рекомендации по теме
Комментарии
Автор

Thanks for the proof.
The second line from the bottom, should contain xeC instead of xeB. Same for the x not element of B statement.

MrMuffinwomen
Автор

3:46 "At this point we can't really simplify this term anymore"

I felt that.

loodi
Автор

Thanks for the help. Got stuck on this one while doing the math assignment.

rajatshukla
Автор

could you prove it but using set operationes and the definition of symmetric difference?

gurumitar
Автор

I proved this using the difinition of the symmetric difference that has complements in it. with simplifying I concluded that the two statements are equal, can this be right?

Mapsycholek
Автор

So parantheses are reduntant when Logical OR is used? like you said in 3:12

so basically:
((B NOT C) OR ( C NOT B))
Can I just say (B NOT C OR C NOT B)

rahmatazam
Автор

im a little confused why you needed de morgan’s law. If it is not in the symmetric difference of b and c then it would have to either not in b or c or be in b and c right?

joshualiu
Автор

Thanks a lot, you saved my life!!! :D

socco
Автор

(A U B) ∆ C me puede explicar por favor este tipo de ejercicio

hubertleemartinezmartinez
Автор

Thank you very much, professor, you helped me a lot

SalmaSalma-osqe
Автор

I can't understand what you written

ktmandotherrider
Автор

the third line from the end, didnt you forget 'the 'not'' at some point

chandrenselly
Автор

I can barely hear you voice. turn up the music more so I can't hear you no more.

shtshot