Is This Set Theory Proof Correct?

  • Thread starter Thread starter lus1450
  • Start date Start date
  • Tags Tags
    Elementary Proof
Click For Summary

Homework Help Overview

The discussion revolves around the validity of a set theory statement involving the operations of set difference and intersection. Participants are tasked with proving or providing a counterexample for the equation (A \setminus B) \cap (C \setminus B) = A \setminus (B \cup C) for all sets A, B, and C.

Discussion Character

  • Exploratory, Assumption checking, Conceptual clarification

Approaches and Questions Raised

  • The original poster attempts to provide a counterexample to demonstrate that the statement is false, expressing uncertainty about their reasoning and notation.

Discussion Status

Participants are engaged in clarifying the original poster's reasoning and notation. Some guidance has been offered regarding the correct representation of the empty set, indicating a productive exchange of ideas.

Contextual Notes

There is a noted confusion regarding the notation for the empty set, with participants discussing the implications of using incorrect symbols in set theory.

lus1450
Messages
40
Reaction score
1

Homework Statement


For all sets A, B, and C, prove or provide a counterexample the following statements.
(A \setminus B) \cap (C \setminus B) = A \setminus (B \cup 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 \setminus B = {1} and C \setminus B = {1}. Then (A \setminus B) \cap (C \setminus B) = {1}.
B \cup C = {1,2,3}. Then A \setminus (B \cup C) = {0}. Since {1} ≠ {0}, the statement is false.

It's more the last part, i.e. "Then A \setminus (B \cup 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 \setminus B) \cap (C \setminus B) = A \setminus (B \cup 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 \setminus B = {1} and C \setminus B = {1}. Then (A \setminus B) \cap (C \setminus B) = {1}.
B \cup C = {1,2,3}. Then A \setminus (B \cup 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 \emptyset, 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.
 
If you want to use "regular" set notation, rather than ∅, it would be "{}", not "{0}".
 

Similar threads

  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 9 ·
Replies
9
Views
6K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
6K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K