...... Ron: Jak dowieść coś takiego : A−(B−C) = (A−B) u (A n C)

Ron: Pomoże ktos?

Jack: mozna graficznie?

Ron: Graficznie umiem XD, chcę się nauczyć algebraicznie

PW: Logicznie, nie algebraicznie. Bierzesz dowolny element x należący do lewej strony, korzystasz z definicji (co to znaczy, że x∊A\D), następnie co to znaczy, że x∉D, czyli x∉(B\C) i tak dalej, aż dojdziesz to tego co logicznie znaczy prawa strona.

Ron: Hej PW, ja wiem jak to się robi ale mam problem z zapisaniem tego A\(B\C)

PW: Toż przewidziałem to i podpowiadam.

Ron: Zrobiłem dopełnieniem ale nie wiem czy dobrze jak wrócę za 4h to napisze rozwiązanie

Ron: Ale dopełnieniem trzeba było PW?

Ron: B\C=( B n C')?

PW: No tak , ∼x∊(B\C) to to samo co ∼(x∊B⋀∼x∊C) i tak dalej (zaprzeczenie koniunkcji).

Ron: Czy jeżeli mam zdanie (p ∧ q) ∧ (r ∧ s), to mogę użyć prawa o łączności koniunkcji i zamieniać p,q,r,s pomiędzy sobą?