Discrete math venn diagram proof

AI Thread Summary
To prove that A complement UNION B complement equals (A intersect B) complement, drawing Venn diagrams can effectively illustrate the relationship between the sets. By shading the areas for both sides of the equation, one can visually confirm they represent the same region, regardless of whether sets A and B are disjoint or overlapping. While some may not consider this method a rigorous proof, it serves as a useful visual aid. Understanding how to indicate components like union and complement in Venn diagrams is crucial for this proof. For further clarification, exploring DeMorgan's laws can provide additional insights into the topic.
leilei
Messages
8
Reaction score
0
Prove for all sets A,B, and C :
A complement UNION B complement = (A intercept B) complement

help me out here please
 
Physics news on Phys.org
If you (or your teacher) finds drawing Venn diagrams sufficient as a proof, you can just draw two Venn diagrams for the cases where A and B are disjoint or have an overlap and show that if you shade the left hand side or the right hand side, you will get the same shaded area. (I personally wouldn't consider that a real hard proof, however).
Do you know how to indicate the different components in a Venn diagram (e.g. union, complement, etc)?
 
this proof is to show why the two pictures/diagram are the same...
 
So, do you know how to draw Venn diagrams at all? Because if not, then the problem is not in the proof but in drawing the diagrams. And if you do, there is nothing to it, but drawing them.

Also, you asked this question before, right?
 
You can also try googling DeMorgan's laws for more information.
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top