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 unión
x ∈ A ∧ [x ∉ B ∧ x ∉ C)]                  Ley de Morgan disyunció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.