Leggi di De Morgan

[maria601]

Devo dimostrare che il complementare dell'unione del complementare di unito B con l'intersezione del complementare di A con B è uguale a B ( non sono riuscita a trovare i simboli di insiemistica), ho applicato le leggi di de Morgan, riuscendo a dimostrare che è uguale al complementare di A intersecato B Intersecato B, ma ciò se gli insiemi A e B non sono disgiunti non può essere uguale a B......Grazie

[garnak.olegovitc1]

Salve maria60,
hai provato con la doppia inclusione, ovvero: $A=B harr A sube B ^^ B sube A$
Facci sapere.
Cordiali saluti

[maria601]

Ogni elemento dell'intersezione è contenuto in B ,ma un elemento di B può essere in A, non necessariamente nel complementare di A,cioè nel complementare di A intersecato B.....

[garnak.olegovitc1]

Salve maria60,

"maria60":Devo dimostrare che il complementare dell'unione del complementare di unito B con l'intersezione del complementare di A con B è uguale a B ( non sono riuscita a trovare i simboli di insiemistica),

potresti scriverlo con il linguaggio in questo forum consigliato (come-si-scrivono-le-formule-asciimathml-e-tex-t26179.html)
Cordiali saluti

[@melia]

Intendi queste?
$bar(A)$
$uu$
$nn$
basta che tu prema il tasto Cita in alto a destra e vedrai come sono scritte

[maria601]

Non riesco a capire come devo fare complementare di un insieme A.......

[garnak.olegovitc1]

Salve maria60,
devi scrivere bar(A) racchiuso entro i simbolo $. Per tutto il resto ti rimando alla pagina come-si-scrivono-le-formule-asciimathml-e-tex-t26179.html (cliccaci sopra). Ti aspetto, se proprio non ci riesci allora prova a scriverla con paint e dopo carichi l'immagine... insomma vedi come puoi fare, io più di così non sò come aiutarti a scrivere in linguaggio asciimath. Fammi sapere!
Cordiali saluti