sprawdz czy oba zbiory sa rowne Łukasz: Sprawdz czy zbiory A\B = A(A*B)

Basia: A\B w porządku, ale co to jest to po prawej ? u (zwykłe małe U) może być sumą n (zwykłe małe N) może być iloczynem a chyba miało być A\(AnB) ? czekam na odpowiedź

Łukasz: no własnie chodziło mi o n z gory dziekuje za pomoc

Łukasz: Sprawdz czy zbiory A\B = A(AnB) prosze o pomoc z gory dziekuje

Kisiel: Basiu pomozesz

Basia: "~ " oznacza "nieprawda, że" x∈A\(AnB) ⇔ x∈A i ~x∈AnB ⇔ x∈A i ~[ x∈A i x∈B ] ⇔ x∈A i [ ~x∈A lub ~x∈B ] ⇔ [ x∈A i ~x∈A ] lub [ x∈A i ~x∈B ] ⇔ x∈0 lub x∈(A\B) ⇔ x∈0u(A\B) ⇔ x∈A\B czyli A\(AnB) = A\B to jest dowód formalny oparty na rachunku zdań i jego prawach 1. de Morgana zaprzeczenie koninkcji jest alternatywą zaprzeczeń 2. rozdzielności koniunkcji względem alternatywy jeżeli takich dowodów formalnych nie robiliście można to pokazac na diagramach Venna, ale tutaj tego nie narysuję

Łukasz: dziekuje za pomoc o to mi chodzilo