...
zielony: Jak to udowodnić ?
(A\B) ∪ (B\A) = (A∪B)\(B∩A)
19 mar 23:21
Eta:
L= x∊[(A\B)U(B\A)]⇔ x∊(A⋀x∉B)v (x∊B⋀x∉A) ⇔ (x∊A vx∊B) ⋀(x∉B⋀x∉A)⇔
x∊(AUB) ⋀x∉(B\A)⇔ x∊[(AUB)\(B∩A)] = P
19 mar 23:39
Eta:
poprawiam chochlika
w drugim wierszu x∊(AUB) ⋀x∉(B∩A)
20 mar 00:52