Requesting Explanation of Picture Proof : Union Distributes over Intersection

359 Views Asked by At

https://proofwiki.org/wiki/Union_Distributes_over_Intersection has an explanation on how the union distributes over the intersection. I understand the element argument proof and want to understand the alternative picture proof. Picture 1 Picture 2

enter image description here

I am requesting a narration on the picture proof provided. I can't follow the logic or their picture is wrong.

The picture is attempting to show $R∪(S∩T)=(R∪S)∩(R∪T)$.


Question 2

Here is the picture showing that intersection distributes over union. It is showing $R∩(S∪T)=(R∩S)∪(R∩T)$ :

from proofwiki.com

enter image description here

1

There are 1 best solutions below

0
On BEST ANSWER

The picture is actually showing that $R\cup (S\cap T) = (R\cup S) \cap (R\cup T)$. In the first picture, $R$ is blue/green, $S\cap T$ is yellow/green, and their union is nonwhite.

In the second picture, $R\cup S$ is yellow/green, $R\cup T$ is blue/green, and their intersection is green. We can see that the nonwhite region in the first picture is the same as the green region in the second, thus proving the theorem.