Równość i zawieranie się zbiorów zuza: W oparciu o definicje rowności i inkluzji zbiorów oraz korzystając z odpowiednich praw logicznych, udowodnij: (A∩B)'= A∪B'

@Basia: Nie da się tego udowodnić bo to nieprawda. (A∩B)' = A'∪B' i to można udowodnić.

zuza: a jak to udowodnić?

@Basia: x∊(A∩B)' ⇔ x∉(A∩B) ⇔ ~[ x∊A∩B ] ⇔ ~ [ x∊A ⋀ x∊B ] ⇔ ~x∊A ⋁ ~x∊B ⇔ x∉A ⋁ x∉B ⇔ x∊A' ⋁ x∊B' ⇔ x∊A'∪B' stąd: (A∩B)'=A'∪B'