Set Theory Proof Help: Proving C∩D=Ø When A⊆C and B⊆D

dainty77
Messages
9
Reaction score
0
Hey guys!

I am new to this forum but saw the helpful posts on set theory proofs and wondered if I could finally get some help with this problem:

Suppose A, B, C, and D are sets with A⊆C and B⊆D. If A∩B=Ø then C∩D=Ø.

This is a biconditional so I have to prove it both ways correct?

Any help would be greatly appreciated!
 
Physics news on Phys.org
This belongs in the homework forum. Do you have some attempt?

I don't see a biconditional in your statement.
 
Oh my mistake!
 
Thread closed as dainty77 posted this question (per R136a1's suggestion) in the homework section.
 

Thread 'Roulette wheel physics and probability'

Hi all, I've been a roulette player for more than 10 years (although I took time off here and there) and it's only now that I'm trying to understand the physics of the game. Basically my strategy in roulette is to divide the wheel roughly into two halves (let's call them A and B). My theory is that in roulette there will invariably be variance. In other words, if A comes up 5 times in a row, B will be due to come up soon. However I have been proven wrong many times, and I have seen some...
View full post »
Thread 'Detail of Diagonalization Lemma'

Thread 'Detail of Diagonalization Lemma'

The following is more or less taken from page 6 of C. Smorynski's "Self-Reference and Modal Logic". (Springer, 1985) (I couldn't get raised brackets to indicate codification (Gödel numbering), so I use a box. The overline is assigning a name. The detail I would like clarification on is in the second step in the last line, where we have an m-overlined, and we substitute the expression for m. Are we saying that the name of a coded term is the same as the coded term? Thanks in advance.
View full post »

Similar threads

I Thinking about equality of infinite sets
Replies
5
Views
2K
MHB Operations on Sets: Proving A⊆B⊆C & A∪B=B∩C
Replies
2
Views
2K
MHB Topology Munkres Chapter 1 exercise 2 b and c- Set theory equivalent statements
Replies
1
Views
2K
Set Theory Proof: A∩B=Ø implies C∩D=Ø
Replies
4
Views
1K
I Set Theory: Separation Axiom and Garling's Theorem 1.2.2
Replies
1
Views
2K
MHB Sets so that the cartesian product is commutative
Replies
2
Views
2K
MHB Axioms of Set Theory: Separation Axiom and Garling Theorem 1.2.2 .... ....
Replies
1
Views
2K
MHB Proving Set Operations [Set Theory]
Replies
11
Views
4K
I Stochastic Minimax partition problem card game
Replies
5
Views
2K
B How helpful is probability theory?
Replies
4
Views
2K

Hot Threads

Recent Insights

Back
Top