- #1
BrianMath
- 26
- 0
Homework Statement
If A, B, and C are subsets of the set S, show that
[tex]A^C \cup B^C = \left(A \cap B\right)^C[/tex]
Homework Equations
[tex]A^C = \{x \in S: x \not \in A\}[/tex]
[tex]A\cup B = \{x \in S:\; x \in A\; or\; x\in B\}[/tex]
[tex]A\cap B = \{x \in S:\; x \in A\; and\; x\in B\}[/tex]
The Attempt at a Solution
[tex]A^C \cup B^C = \{x\in S:\; x\not \in A\; or\; x \not \in B\}[/tex]
[tex]\left(A \cap B\right)^C = \{x\in S:\; x \not \in \left(A\cap B)\right \}[/tex]
Since [itex]\lnot A \lor \lnot B = \lnot \left(A \land B\right)[/itex], we have that [itex]\{x\in S:\; x\not \in A\; or\; x \not \in B\} = \{x\in S:\; x \not \in \left(A\cap B)\right \}[/itex]
[tex]\;\;\; \therefore A^C \cup B^C = \left(A \cap B\right)^C[/tex]
Is it valid for me to relate the set operations to the analogous logic symbols to show that this is true? Such as, complement being the same as [itex]\lnot[/itex] (not) or the union and intersection being the same as [itex]\lor[/itex] (or) and [itex]\land[/itex] (and), respectively?
I'm sorry if this is obvious. I'm teaching myself Analysis out of Maxwell Rosenlicht's "Introduction to Analysis" text, so I want to make sure I'm not making any false assumptions or developing a false intuition of set theory.