Dowód Aleksandr: Cześć. Mam problem z takim przykładem. Wykazać prawdziwość następujących wzorów. A’∩B=(A∪B)’ Wiem, jak to zrobić diagramem Venna, ale jak to dowieźć studenckim sposobem?

zxy: Niech A,B⊂Ω oraz x∊A'∩B' wówczas x∊A' ∧ x∊B' ⇒ ¬ x∊A ∧ ¬x∊B (korzystamy z prawa de Morgana) ⇒ ⇒ ¬(x∊A ∨ x∊B) ⇒ ¬(x∊A∪B) ⇒ x∊(A∪B)'

Aleksandr: Dzięki!