matematicas discretas: demostrar A-(B∩C) = (A-B) ∪ (A-C)

demostracion conjuntos (demostrar A-[B∩C] = [A-B] ∪ [A-C])

El problema planteado usar la teoría de conjuntos para demostrar como teorema que A-(B∩C) = (A-B) ∪ (A-C)

Este ejercicio hace uso de la teoría de conjuntos teoremas y definiciones.

La demostración de conjuntos se apoya en las definiciones básicas y propiedades de conjuntos establecidas.

Intente resolver este ejercicio y luego compruebe la solucion. Descargue esta solucion clic aqui

Sea x ∈ A-(B∩C)                           Definición general
x ∈ A ∧ x ∉ (B∩C)                         Definición diferencia
x ∈ A ∧ ~[x ∈(B∩C)]                      Negación pertenencia
x ∈ A ∧ ~[x∈B ∧ x∈C)]                    Definición intersección
x ∈ A ∧ [x ∉ B ∨ x ∉ C)]                  Ley de Morgan conjunción
(x ∈ A ∧ x ∉ B) ∨ (x ∈ A ∧ x ∉ C)        Ley distributiva conjunción
x ∈ (A-B) ∨ x ∈ (A-C)                    Definición diferencia
x ∈ (A-B) ∪ (A-C)                         Definición intersección
∴ A-(B∩C)  = (A-B) ∪ (A-C) 
ESCUCHANDO


Suscribete a nuestro canal

AMPLIAR ESCUCHANDO

matematicas discretas: demostrar A-(B∩C) = (A-B) ∪ (A-C)
Figura. matematicas discretas: demostracion conjuntos A-(B∩C) = (A-B) ∪ (A-C)

Deja una respuesta

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

Este sitio usa Akismet para reducir el spam. Aprende cómo se procesan los datos de tus comentarios.