In: Computer Science
Show using a direct proof and logical operators the following set equality.A−BC= A∩B
Let us consider, for every x we have, x
A
B
So, x does not belong in BC as it is in B and x
A
So, for every value of x, we have x
A - BC
So, from this we can say that, A
B will be subset of A - BC
Let us consider, for every y we have, y
A - BC
So, y does not belong in BC as it is in B and y
A
Also, y
B.
So, for every y
A
B
So, from this we can say that, A - BC will be subset
of A
B
So, we can say that A
B = A - BC (proved)
Please comment in case of any doubt.
Please upvote if this helps.