MHB Is the Symmetric Difference Problem Solved?

AI Thread Summary
The discussion revolves around verifying the truth of two statements involving symmetric differences and set operations. The first statement, A Δ (B ∩ C) = (A Δ B) ∩ (A Δ C), can be disproven by considering A as the universal set. The second statement, A ∪ (B Δ C) = (A ∪ B) Δ (A ∪ C), is also refuted under the same assumption. Participants are encouraged to analyze the corresponding Venn diagrams to visualize the relationships between the sets. The conversation emphasizes the importance of understanding set operations in proving or contradicting mathematical statements.
Yankel
Messages
390
Reaction score
0
Hello all,

For each of the following statements, I need to say if it is true or not, to prove if it is true or to contradict if not.

1)
\[A\bigtriangleup (B\cap C)=(A\bigtriangleup B)\cap (A\bigtriangleup C)\]

2)
\[A\cup (B\bigtriangleup C)=(A\cup B)\bigtriangleup (A\cup C)\]

Where
\[\bigtriangleup\]

is the symmetric difference.

I do know that:

\[A\bigtriangleup B=(A-B)\cup (B-A)\]

which is:

\[(A\cap B^{C})\cup (B\cap A^{C})\]How do I proceed from here?

Thank you !
 
Physics news on Phys.org
Both equations can be refuted by taking $A$ to be the universal set.
 
Is it correct that these are the corresponding Venn diagrams of both sides in the first statement?
(assuming your way, of making A universal).

View attachment 6444
 

Attachments

  • sets.png
    sets.png
    5.7 KB · Views: 113
I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema): $$\begin{align} & (A1) ~~~~ \forall x \neg (x + 1 = 0) \nonumber \\ & (A2) ~~~~ \forall xy (x + 1 =y + 1 \to x = y) \nonumber \\ & (A3) ~~~~ \forall x (x + 0 = x) \nonumber \\ & (A4) ~~~~ \forall xy (x + (y +1) = (x + y ) + 1) \nonumber \\ & (A5) ~~~~ \forall x (x \cdot 0 = 0) \nonumber \\ & (A6) ~~~~ \forall xy (x \cdot (y + 1) = (x \cdot y) + x) \nonumber...
Back
Top