Proszę o pomoc z tym zadaniem ledzeppelin20: Witam, mam problem z tym zadaniem, bardzo proszę o pomoc. Dowieść prawdziwości równości: (A∪B)[tutaj jest symbol narysowany u góry](A∩B)=A∩(B[tutaj też jest ten symbol]C)

b.: a wiesz, co oznacza ten symbol?

ledzeppelin20: A[ten symbol]B⇔{x: [x∊(A\B)]∨[x∊(B\A)]}

ledzeppelin20: tylko nie wiem co dalej zrobić by udowodnić tę równość

PW: Znak ÷ można uzyskać wstukując z klawiatury numerycznej 0247 (przy włączonym NumLock, trzymając wciśnięty lewy Alt). W razie trudności po prostu skopiować stąd.

ledzeppelin20: dzięki

b.: Czym jest C? Występuje tylko po prawej stronie? Jesli tak, to ta równość się nie zgadza. Warto zdawać sobie sprawę, że x ∊ A÷ B <=> x nalezy do dokładnie jednego ze zbiorów A,B.

Maniek: oj tam C=(A∪B)÷(A∩B)

Maniek: a ÷ to po prostu ⋀¬