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