Dimostrazione delle leggi di De Morgan (teoria degli insiemi

[vinct91]

Poco a poco sto ottenendo e riuscendo a capire ogni dimostrazione grazie agli utenti di questo forum che ringrazio di nuovo. Ora la nuova dimostrazione riguarda queste due leggi. In realtà, dimostrata la prima, si dimostra la seconda (sono pressoché speculari). Eccole qui:

1) $ A \\ (B nn C) = (A\\B) uu (A\\C) $
2) $ A \\ (B uu C) = (A\\B) nn (A\\C) $

Se sulla dimostrazione delle proprietà degli insiemi qualcosa sono riuscito a capirla pian piano, qui mi trovo completamente spaesato. Non so neppure da dove devo cominciare.

Grazie a chiunque voglia darmi una mano d' aiuto.

[Kashaman]

Cosa si intende per $\\$?
Cosa è l'insieme $A\\(B nn C)$? , e l'insieme $(A\\B) uu (A\\C)$?

Scrivi gli insiemi, così vedi bene su cosa operi. Dopo di che dimostri le doppie inclusioni. Provaci, almeno un tentativo.