Proving Set Algebra Laws with Venn Diagrams

  • Thread starter Thread starter sara_87
  • Start date Start date
  • Tags Tags
    Algebra Laws Set
Click For Summary

Homework Help Overview

The discussion centers around proving set algebra laws using Venn diagrams, specifically for the sets X, Y, and Z. The original poster presents several equations to prove, questioning the laws of set algebra and the meaning of the symbol U in this context.

Discussion Character

  • Exploratory, Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants discuss the laws of set algebra, including distributive and associative laws, and DeMorgan's laws. There is a debate about the validity of using Venn diagrams for proofs versus justifications. Some participants express uncertainty about the meaning of U, with differing interpretations regarding its definition as the universal set or the union of X, Y, and Z.

Discussion Status

The discussion is active, with participants exploring various interpretations and approaches to the problems. Some guidance has been offered regarding the laws of set algebra and how to demonstrate set equality, but there is no explicit consensus on the correctness of the proofs provided by the original poster.

Contextual Notes

There is a noted confusion regarding the definition of U, with implications that it affects the interpretation of the problems presented. Additionally, some participants express uncertainty about the correctness of their attempts to prove the equations.

sara_87
Messages
748
Reaction score
0
Question:

Use the laws of set algebra to show that for the sets X,Y,Z:
a) X + X’Y + ZX’ = X + Y + Z
b) XY + X’Y’ + X’Y + XY’ = U
c) Z’(X + Y’)(X’ +Z) = (X + Y’ + Z)’
d) XYZ + X’ + Y’ + Z’ = U

Answer:

I can prove these using venn diagrams but what are the laws of set algebra?

also U means the union of X, Y and Z...no?
 
Physics news on Phys.org
I would imagine things like the distributive laws, the associative laws, DeMorgan's laws, et cetera.
 
sara_87 said:
also U means the union of X, Y and Z...no?

U generally denotes the universal set; a set large enough to contain all sets under consideration (for the given question). For example, Ac=U\A.

(Another way to think of it, is as the "rectangle" in which the sets are drawn when constructing a Venn diagram) In this instance, it is enough to take U to be the union of X, Y and Z.
 
Last edited:
sara_87 said:
I can prove these using venn diagrams but what are the laws of set algebra?

No, you can't prove them using venn diagrams. You can justify them, but I doubt anyone would accept Venn diagrams as a 'proper' proof. It is easy to turn Venn diagram arguments into proper arguments though.
 
'It is easy to turn Venn diagram arguments into proper arguments though.'
yeah?...how? could you give me an example?
 
Look at the diagram. A set equality A=B is always best shown (if no clever methods are at hand) by demonstrating that anything in A is in B, and vice versa. If you look at the venn diagram for a), say, you can read off how to do this because you can see where elements in subsets of the LHS can be found in subset of the RHS.

Of course, here you just use the laws set algebras some of which are (and these are comutative operations)

XX=X
X+X=X
X'=U\X (set difference), or U=X+X'
XX'=0
UX=X
U+X=U

In particular Y=XY+X'Y
 
sara_87 said:
Question:

Use the laws of set algebra to show that for the sets X,Y,Z:
a) X + X’Y + ZX’ = X + Y + Z
b) XY + X’Y’ + X’Y + XY’ = U
c) Z’(X + Y’)(X’ +Z) = (X + Y’ + Z)’
d) XYZ + X’ + Y’ + Z’ = U

Answer:

I can prove these using venn diagrams but what are the laws of set algebra?

also U means the union of X, Y and Z...no?

Obviously it does not here because then b and d would make no sense! U here means the "universal set". "X+ Y" is the union of the two sets X and Y and XY means the intersection.
 
using the laws posted, this what i did:

a) X + X'Y + ZX'
= X +Y - XY + Z -XZ
=X + Y + X'Y - Y + Z + X'Z - Z
=X + X'Y + X'Z
=X + Y + XY + XZ + Z
= X + Y+ Z (RHS)
somehow i feel that i did a) wrong

b) XY + X'Y' + X'Y + XY'
=Y - X'Y + X'Y + X + YX
=Y + X + YX
=U

c) Z'(X+Y)(X'+Z)
=Z'XX' + XZZ' + X'YZ' + YZZ'
=0 + 0 + X'YZ' + 0
=(XY'Z)'

d) don't know where to start...whatever i do i get stuck

is a, b and c correct?
 
( i should start a new thread for this but i hate seeing my name a million times)

Functions:

if f: R -> A A={x|x belongs to R and -1<x<1}

x^2=y^2 is not injective...is it?

because x= + or - y

(the question is longer...if i turn out to be right i'll post it up properly and ask for help)
 
  • #10
And what relation does f have to any of x or y in this question? y^2=x^2 does not define y as a function of x for precisely the reason given in your post, so this can't have any relation to f, can it?
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
Replies
2
Views
1K
Replies
5
Views
2K
Replies
14
Views
4K
Replies
1
Views
1K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 8 ·
Replies
8
Views
2K