Bonjour! Comment démontrer que: [comp(I) inter comp(C)] union [(I inter (compl(C)] = compl(C) ? En développant, je ne tombe pas sur le résultat???
Je pense avoir trouvé: en fait il ne faut pas développer, mais regrouper: = comp(C) inter [I union (comp(I)] = comp(C) C'est bon?