Logika Ja: Udowodnij prawo: [A⊆B]⇒[(A∪B=B)∧(A∩B=A)∧(A \ B=∅)] Proszę o pomoc. Jakie prawo rachunku zdań zastosować na początku?

Godzio: A⊆B ⇒ ∀x (x∊A ⇒ x ∊ B ) x ∊ A∪B ⇔ x∊A v x ∊ B ⇒ x∊B v x∊B ⇔ x∊B Reszta analogicznie

Ja: Nie bardzo rozumiem ten zapis.