zbiory Roxi: Mam to udowodnić i chciałam zamienić zbiory na zdania logiczne ale niewiem jak mam zapisać tą równość... A⊂B⇔A=B\(B\A) Mam to zrobić tak? : A⊂B⇔A⇔B\(B\A), jeśli tak to jak to przeczytać?

Ania1097: Pokaże ktoś jak to zrobić?

Adamm: (x∊A ⇒ x∊B) ⇔ (x∊A ⇔ x∊B ∧ ¬(x∊B ∧ ¬(x∊A))

Adamm: x∊A ⇔ (x∊B ∧ ¬(x∊B ∧ ¬(x∊A)) oczywiście

Roxi: (x∊A ⇒ x∊B) ⇔ [x∊A ⇔ (x∊B ∧ ¬(x∊B ∧ ¬(x∊A))] tak?

Adamm: