Scribd
Cargar
241 vistas4 páginas

Mipm - U3 - A3 - V1 - Jomt

Este documento presenta dos demostraciones matemáticas utilizando conjuntos. La primera demuestra que (A ∩ B)C = AC ∪ BC mediante diagramas de Venn y la ley de Morgan con intersección. La segunda demuestra que (A − B) ∪ (B − A) = (A ∪ B) − (A ∩ B) también usando diagramas de Venn y operaciones lógicas con conjuntos. Finalmente, ilustra el caso (A ∪ B) ∩ C cuando A ∩ B = ∅ = A ∩ C pero B ∩ C ≠

Cargado por

Jose L Moc Te
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd
241 vistas4 páginas

Mipm - U3 - A3 - V1 - Jomt

Este documento presenta dos demostraciones matemáticas utilizando conjuntos. La primera demuestra que (A ∩ B)C = AC ∪ BC mediante diagramas de Venn y la ley de Morgan con intersección. La segunda demuestra que (A − B) ∪ (B − A) = (A ∪ B) − (A ∩ B) también usando diagramas de Venn y operaciones lógicas con conjuntos. Finalmente, ilustra el caso (A ∪ B) ∩ C cuando A ∩ B = ∅ = A ∩ C pero B ∩ C ≠

Cargado por

Jose L Moc Te
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd

Pensamiento matemático

Actividades: Unidad 3

Universidad Abierta y a Distancia de México

Licenciatura en Matemáticas

Introducción al pensamiento matemático

José Luis Moctezuma Tejeda

Unidad 3: Teoría de Conjuntos

Actividad 3. Demostraciones por medio de conjuntos

10 de Marzo 2019
Actividad 3: Demostraciones por medio de conjuntos.

1. Demuestra que:
Comprobación mediante diagramas de Venn
i) (𝑨 ∩ 𝑩)𝑪 = 𝑨𝑪 ∪ 𝑩𝑪
𝑨∩𝑩 𝑨𝑪

A B A B

(𝑨 ∩ 𝑩)𝑪 𝑩𝑪

A B A B

𝑨𝑪 ∪ 𝑩𝑪

A B

Comprobación matemática: Ley de Morgan con intersección


(𝑨 ∩ 𝑩)𝑪 = 𝑨𝑪 ∪ 𝑩𝑪
𝑥 ∈ (𝐴 ∩ 𝐵)𝑐 ⟶ 𝑥 ∉ (𝐴 ∩ 𝐵)
𝑥 ∉ 𝐴 ∧ 𝑥 ∈ 𝐵 ⟶ 𝑥 ∈ 𝐴𝑐
∨
𝑥 ∉ 𝐵 ∧ 𝑥 ∈ 𝐴 ⟶ 𝑥 ∈ 𝐵𝑐
𝑥 ∈ 𝐴𝑐 ∨ 𝑥 ∈ 𝐴𝑐
(𝑨 ∩ 𝑩)𝑪 = 𝑨𝑪 ∪ 𝑩𝑪

UNADM | DCEIT | MAT | 00000 2


i) (𝑨 − 𝑩) ∪ (𝑩 − 𝑨) = (𝑨 ∪ 𝑩) − (𝑨 ∩ 𝑩)
comprobación mediante diagramas de Venn
𝑨−𝑩 (𝑨 ∪ 𝑩)
A B A B

𝑩−𝑨 (𝑨 ∩ 𝑩)

A B A B

(𝑨 − 𝑩) ∪ (𝑩 − 𝑨) (𝑨 ∪ 𝑩) − (𝑨 ∩ 𝑩)

A B A B

comprobación matemática
(𝑨 − 𝑩) ∪ (𝑩 − 𝑨) = (𝑨 ∪ 𝑩) − (𝑨 ∩ 𝑩)
𝑥 ∈ ((𝐴 − 𝐵) ∪ (𝐵 − 𝐴)) ⟶ 𝑥 ∉ ((𝐴 ∪ 𝐵)𝑐 + (𝐴 ∩ 𝐵))
𝑥 ∉ (𝐴 ∨ 𝐵)𝑐 ⟶ 𝑥 ∈ (𝐴 ∨ 𝐵)
+
𝑥 ∉ (𝐴 ∧ 𝐵) ⟶ −𝑥 ∈ (𝐴 ∧ 𝐵)
𝑥 ∈ (𝐴 ∨ 𝐵) − 𝑥 ∈ (𝐴 ∧ 𝐵)
(𝐴 ∨ 𝐵) − (𝐴 ∧ 𝐵)
(𝐴 ∪ 𝐵) − (𝐴 ∩ 𝐵)
(𝐴 − 𝐵) ∪ (𝐵 − 𝐴) = (𝐴 ∪ 𝐵) − (𝐴 ∩ 𝐵)

UNADM | DCEIT | MAT | 00000 3


2. Ilustra (𝐴 ∪ 𝐵) ∩ 𝐶 utilizando diagramas de Venn, en el caso en el que
𝐴 ∩ 𝐵 = ∅ = 𝐴 ∩ 𝐶 pero 𝐵 ∩ 𝐶 ≠ ∅

(𝐴 ∪ 𝐵) ∩ 𝐶

A B

(𝐴 ∪ 𝐵) ∩ 𝐶 = {∅}

UNADM | DCEIT | MAT | 00000 4

También podría gustarte