przeprowadź dowód formalny adsfd: Witam, czy ktoś mógłby mi rozwiązać ten przykład? A∩(B\C) = (A∩B)\(A∩C) rozpisałem to sobie ale nic mi nie wyszło i nie wiem co dalej z tym zrobić. L = XeA ∧ (XeB ∧ X ̶e̶C) P =(XeA ∧ XeB) ∧ (Xe̶A v Xe̶C) − Na tym skończylem.

Saizou : skoro x∊A, to również prawdą jest że x∉A, zatem L= x∊A ∧ x∊B ∧ x∉C = mogę dołączyć warunek, który będzie też prawdziwy x∊A ∧ x∊B ∧ x∉C ∧ x∉A = x∊(A∩B) ⋀ x∉(A∩C)= x∊[(A∩B)\(A∩C)]

janek191: ? I wiersz