Grazie per la risposta garnak
Io la dimostrazione l'avevo fatta nel seguente modo:
Siano A,B e C tre insiemi generici
Ho dimostrato prima
$(A=B)=>[(C-A)=(C-B)]$
$(A=B)<=>[((AnnB)=A) ^^((AnnB)=B)]^^(C-(AnnB)=(C-A)uu(C-B))$(per il primo teorema di De Morgan)$<=>(AAx [(x in (AnnB))<=>(x in A)] ^^ [(x in (AnnB))<=>( x in B)] ^^ [(x in C-(AnnB))<=>(x in (C-A)uu(C-B))]) <=> (AAx [(xnotin(AnnB))<=>(xnotinA)] ^^[(xnotin(AnnB)<=>(xnotinB)]^^ [(x inC ^^ xnotin(AnnB))<=>(x in (C-A)uu(C-B))]^^[(x inC ^^ xnotin(AnnB))<=>(x in (C-A)uu(C-B))]) <=> (AAx, [(xnotin(AnnB))<=>(xnotinA) ^^ (x inC ^^ xnotin(AnnB))<=>(x in (C-A)uu(C-B))]^^[(xnotin(AnnB)<=>(xnotinB)^^ (x inC ^^ xnotin(AnnB))<=>(x in (C-A)uu(C-B))])$ (per la proprietà associativa della congiunzione) $<=> (AAx, [(xnotin(AnnB))<=>(xnotinA) ^^ (x inC ^^ xnotinA)<=>(x in (C-A)uu(C-B))]^^[(xnotin(AnnB)<=>(xnotinB)^^ (x inC ^^ xnotinB)<=>(x in (C-A)uu(C-B))])=> (AAx, (x inC ^^ xnotinA)<=>(x in (C-A)uu(C-B) ^^ (x inC ^^ xnotinB)<=>(x in (C-A)uu(C-B))])$ (per la regola di eliminazione della congiunzione) $<=>([(C-A)=(C-A)uu(C-B)]^^[(C-B)=(C-A)uu(C-B)])<=>(C-A)=(C-B)$
Questa è la prima parte. Il teorema inverso l'ho dimostrato in maniera analoga. Potrebbe andare bene? Grazie per la pazienza
Ps Nella prima parte quando dico $[((AnnB)=A) ^^((AnnB)=B)]^^(C-(AnnB)=(C-A)uu(C-B))$ non posso inferire direttamente $(C-A)=(C-A)uu(C-B) e (C-B)=(C-A)uu(C-B)$ in quanto è quello che dobbiamo dimostrare, ovvero se due insiemi sono uguali ( $A e AnnB$ non posso dire nella dimostrazione che $C-(AnnB)=C-A$. Esatto?