Logika - Zadanie 132.
Nie.
Niech
A=\{1,2,3\}
,
B=\{2\}
,
C=\{3\}
.
Wtedy
A\cap(B\cup C) = \{2,3\}
, a
B\cap (A \cup C) = \{2\}
.
Tak.
Weźmy dowolne
x\in A\cap (B \setminus C)
.
Wtedy
x\in A \wedge x\in B \wedge x \not\in C
.
Z przemienności koniunkcji mamy:
x\in B \wedge x\in A \wedge x \not\in C
.
Czyli
x\in B\cap (A \setminus C)
.