Dowód WhiskeyTaster: Jak tego dowieść: Jeśli P(A) ∩ P(B) = {∅}, to A ∩ B = ∅. Wydaje się to dość intuicyjne, jednak wciąż brakuje mi na to pomysłu, aby to sformalizować.

Pytający: Nie wprost. Załóż, że P(A)∩P(B) = {∅} i A∩B ≠ ∅. Wtedy (∃_x x∊A∩B) ⇒ (∃_x {x}∊P(A)∧{x}∊P(B)) ⇒ (∃_x {x}∊P(A)∩P(B)) ⇒ (P(A)∩P(B) ≠ {∅}), znaczy sprzeczność, więc (P(A)∩P(B) = {∅}) ⇒ (A∩B=∅).

WhiskeyTaster: Rozumiem. Czyli po prostu źle się za to zabierałem. Dziękuję raz jeszcze, Pytający.

Maciess: Zadanie z kolokwium?

WhiskeyTaster: Pewnie Widziałem, że też wstawiasz zadania od tego samego wykładowcy. Pierwszy rocznik?

Maciess: Tak jest.

ite: A wasz wykładowca też tu jest?

WhiskeyTaster: Wątpię, iteracjo. Tak to by rozpoznał od razu zadania