Leggi operatori su insiemi

Dimostrazioni di Leggi

Dimostrazione di assorbimento

$A ∪ (A ∩ B) = A$

• GRAFICAMENTE:

  

  

• PER SOSTITUZIONE:

  $(A\cup (A\cap B)=A \ \ \ (assorbimento)$

  $(A\cup (A\cap B)=$ {unità al contrario}

  $((A\cap \mathcal{U})\cup(A\cap B))=$ {distribuitività al contrario}

  $(A\cap(\mathcal{U}\cup B))=$ {assorbimento}

  $(A\cap \mathcal{U})=$ {unità}

  $A$

Dimostrazione di De Morgan

$\overline{A ∪ B} = \overline{A} ∩ \overline{B}$