Set Theory Theorems: Solving for A in A ∩ B = C ∩ B and A ∩ B' = C ∩ B

AI Thread Summary
The discussion revolves around proving that if A intersect B equals C intersect B and A intersect B' equals C intersect B', then A must equal C. Participants clarify the use of set operations and the distributive law, emphasizing that A can be expressed as the union of its intersections with B and B'. An analogy is provided, comparing the situation to two roommates having the same girlfriends both in class and outside class, illustrating that shared points in both sets lead to equality. Despite attempts to clarify the steps involved in the proof, some participants express confusion about the reasoning behind the set operations. The conversation highlights the importance of understanding set theory concepts to grasp the proof fully.
mbcsantin
Messages
16
Reaction score
0
I need help on how to get started with this question:
Im stocked and i just don't have a clue on how to figure this out.

Prove:
If A intersect B = C intersect B and A intersect B' = C intersect B' then A = C
 
Physics news on Phys.org
To save writing * = intersec and + = union.

A = A*B + A*B' = C*B + C*B' = C

A = A*B + A*B' results from 2 things, distributive law for sets [A*(B+B') = A*B + A*B'] and the fact that B+B' is the entire space.
 
mathman said:
To save writing * = intersec and + = union.

A = A*B + A*B' = C*B + C*B' = C

A = A*B + A*B' results from 2 things, distributive law for sets [A*(B+B') = A*B + A*B'] and the fact that B+B' is the entire space.

Thank you but
i'm a little bit confused now..
Let me just translate what you wrote,

So,
A = A*B + A*B' = C*B + C*B' = C

becomes

A = (AnB) U (AnB') = (CnB) U (CnB') = C the symbol "n" for intersect

A = AnB U AnB' results from 2 things, distributive law for sets [An(BUB') = AnB U AnB']

I just don't quite get it. Could you please justify it. Like step by step if possible?

Let me just re-write the question:
If A n B = C n B and A n B' = C n B' then A = C
 
they share the same points inside B and also share the same points outside B. E.g. if you and your roommate have the same girlfriends both in class and outside class, then you have all the same girlfriends.
 
mathwonk said:
they share the same points inside B and also share the same points outside B. E.g. if you and your roommate have the same girlfriends both in class and outside class, then you have all the same girlfriends.

I understand the example you mentioned above but i still don't get this:

A = (AnB) U (AnB') = (CnB) U (CnB') = C

i don't get how you figure that out!
still doesn't make sense to me
 
Last edited:
In words A intersect B means all point in A and in B, while A intersect B' means all points in A and not in B. Put them together and you get all points in A.
 
I'm taking a look at intuitionistic propositional logic (IPL). Basically it exclude Double Negation Elimination (DNE) from the set of axiom schemas replacing it with Ex falso quodlibet: ⊥ → p for any proposition p (including both atomic and composite propositions). In IPL, for instance, the Law of Excluded Middle (LEM) p ∨ ¬p is no longer a theorem. My question: aside from the logic formal perspective, is IPL supposed to model/address some specific "kind of world" ? Thanks.
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