Zbiory udowodnienie

[madzia_wawa]

Udowodnić, że dla dowolnych zbiorów \(\displaystyle{ A,B,C}\) zachodzi równość


\(\displaystyle{ A \setminus (B \setminus C)=(A \setminus B) \cup (A \cap C)}\)

[Matt2009]

\(\displaystyle{ L=A-(B-C)=x \in A \wedge \neg (x \in B \wedge \neg x \in C)= x \in A \wedge (\neg x \in B \vee x \in C)= (x \in A \wedge \neg x \in B) \vee (x \in A \wedge x \in C)=(A-B) \cup (A\cap B)=P}\)

[Jan Kraszewski]

Rachunek dobrze, ale zapis do niczego. Nie można porównywać zbioru z funkcją zdaniową, a funkcje zdaniowe nie są równe, tylko równoważne.

JK