Is This Set Theory Proof Correct?

  • Thread starter Thread starter lus1450
  • Start date Start date
  • Tags Tags
    Elementary Proof
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
3 replies · 2K views
lus1450
Messages
40
Reaction score
1

Homework Statement


For all sets A, B, and C, prove or provide a counterexample the following statements.
(A [itex]\setminus[/itex] B) [itex]\cap[/itex] (C [itex]\setminus[/itex] B) = A [itex]\setminus[/itex] (B [itex]\cup[/itex] C).


Homework Equations


N/A


The Attempt at a Solution


I went ahead and said it was false, and provided a counter example. I'm new to this and just want to make sure my thought process was correct and the statement is indeed false.
Counterexample:
Let A = {1,2,3}, B = {2,3}, and C = {1,2}.
A [itex]\setminus[/itex] B = {1} and C [itex]\setminus[/itex] B = {1}. Then (A [itex]\setminus[/itex] B) [itex]\cap[/itex] (C [itex]\setminus[/itex] B) = {1}.
B [itex]\cup[/itex] C = {1,2,3}. Then A [itex]\setminus[/itex] (B [itex]\cup[/itex] C) = {0}. Since {1} ≠ {0}, the statement is false.

It's more the last part, i.e. "Then A [itex]\setminus[/itex] (B [itex]\cup[/itex] C) = {0}" I want to make sure is correct. Thanks for your help!
 
Physics news on Phys.org
Zaculus said:

Homework Statement


For all sets A, B, and C, prove or provide a counterexample the following statements.
(A [itex]\setminus[/itex] B) [itex]\cap[/itex] (C [itex]\setminus[/itex] B) = A [itex]\setminus[/itex] (B [itex]\cup[/itex] C).


Homework Equations


N/A


The Attempt at a Solution


I went ahead and said it was false, and provided a counter example. I'm new to this and just want to make sure my thought process was correct and the statement is indeed false.
Counterexample:
Let A = {1,2,3}, B = {2,3}, and C = {1,2}.
A [itex]\setminus[/itex] B = {1} and C [itex]\setminus[/itex] B = {1}. Then (A [itex]\setminus[/itex] B) [itex]\cap[/itex] (C [itex]\setminus[/itex] B) = {1}.
B [itex]\cup[/itex] C = {1,2,3}. Then A [itex]\setminus[/itex] (B [itex]\cup[/itex] C) = {0}. Since {1} ≠ {0}, the statement is false.
This is almost right. Your notation {0} is incorrect. That refers to a set containing one element, the number 0. What you want is [itex]\emptyset[/itex], the empty set.

Aside from that your counterexample looks fine.
 
I meant the empty set, but I guess 0 would be element and not empty. Thanks for telling the difference, I won't make that same mistake again.