Prove (A∩B)C=AC∩BC is FALSE: Counterargument Needed

Click For Summary
SUMMARY

The discussion centers on the mathematical proof concerning the sets A, B, and C, specifically the statement (A∩B)C = AC∩BC, which is to be proven false. The user has successfully shown that (A∩B)C is a subset of AC∩BC but struggles to demonstrate that AC∩BC is not a subset of (A∩B)C. A suggestion is made to utilize a Venn diagram to visualize the sets and construct a counterexample. The key conclusion is that a counterexample is essential to disprove the original statement.

PREREQUISITES
  • Understanding of set theory and operations, specifically intersections and unions.
  • Familiarity with Venn diagrams for visualizing set relationships.
  • Basic knowledge of logical proofs and counterexamples.
  • Experience with mathematical notation and terminology related to sets.
NEXT STEPS
  • Research how to construct counterexamples in set theory.
  • Learn about Venn diagrams and their application in set operations.
  • Study the properties of set intersections and unions in depth.
  • Explore logical proofs and disproofs in mathematics for better understanding.
USEFUL FOR

Students studying set theory, mathematicians seeking to understand logical proofs, and anyone interested in the intricacies of set operations and counterexamples.

Blue_Wind
Messages
2
Reaction score
0

Homework Statement


A,B and C are sets.
Prove (A∩B)C = AC∩BC is FALSE
That is, I have to give a counterargument for this statement.

Homework Equations


I can't find a counterargument directly. My professor suggest trying to prove the statement to find a problem and come up with the counterargument.
To prove this is false, first must prove that
AC∩BC\subseteq(A∩B)C is false, OR
(A∩B)C\subseteqAC∩BC is false.


The Attempt at a Solution


I have proven (A∩B)C\subseteqAC∩BC is true by:
  • w is a string
  • Let w\in(A∩B)C then \existsu\in(A∩B)and \existsv\inC where w=uv
  • If \existsu\inA then w=uv\inAC and \existsu\inB and w=uv\inBC
  • Hence (A∩B)C\subseteqAC∩BC

However, I wasn't able to prove AC∩BC\subseteq(A∩B)C is false.

  • w is a string
  • Let w\inAC and w\inBC
  • Then \existsu\inA and \existsv\inC where w=uv
  • Also \existsu\inB and \existsv\inC where w=uv
  • Then \existsu\inA∩B and \existsv\inC
  • Hence AC∩BC\subseteq(A∩B)C ?

My professor said that the second part is wrong, but I have already tried over an hour but still can not make the second part false nor just come up with a counterargument.

I'm really not good with logic, can anyone help me?
I still have a lot of programming assignment waiting for me to do.
 
Physics news on Phys.org
you don't really need to prove anything..
you just have to come up with a counterexample

If you draw a Venn diagram of the 3 sets you can construct your counter example

Good luck!
 

Similar threads

Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
3K
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 80 ·
3
Replies
80
Views
8K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
1
Views
2K