Con $A, B$ e $C$ insiemi arbitrari, si stabilisca se è vero che
$$
A \cap B=\emptyset \Longleftrightarrow B \cup(C \backslash A)=(B \cup C) \backslash A .
$$
Con $A, B$ e $C$ insiemi arbitrari, si stabilisca se è vero che
$$
A \cap B=\emptyset \Longleftrightarrow B \cup(C \backslash A)=(B \cup C) \backslash A .
$$
274
punti
Livello 1
Proviamo a dimostrare => :
B U (C \ A) = B U (C & A') = ( B U C ) & ( B U A' ) = (B U C) & A' = (B U C) \ A
perché
vale la proprietà distributiva dell'unione rispetto all'intersezione
https://www.ripmat.it/mate/j/jb/jbfc.html
e, poiché B é disgiunto da A per Hp, é contenuto in A' per cui B U A' = A'.
Se arrivo a qualcosa scrivo l'altra parte.
Aggiornamento
L'altra implicazione si prova per assurdo.
Se ci fosse un x in A & B dovrebbe essere escluso dall'insieme a destra perché è un elemento di A ma
si dovrebbe trovare nell' insieme a sinistra perché sta in B. Quindi i due insiemi non possono coincidere contro l'ipotesi.
49646
punti
Livello 7
@eidosm scusami però non ho capito, purtroppo non posso dimostrare discorsivamente ma solo attraverso simboli matematici
Non credo che sarebbe difficile scrivere in simboli quello che ho detto a parole.
@eidosm si però non capisco perché hai considerato un insieme A’ che non c’è nella traccia
A'' è semplicemente il complementare di A
Dopo comunque lo scrivo su carta con i simboli.
49646
punti
Livello 7
@eidosm purtroppo non utilizziamo questa notazione così 😣😣 non ci capisco