Taller 4 MATD

Kristhian David Segura

September 2020
1. Demuestre:
¬(A ⊂ A)
¬(A ⊂ A)
≡ Def inclusión propia
¬(A ⊆ A ∧ A=
/ A)
≡ T.4.16.5
¬(A ⊆ A ∧ f alse)
≡ T.4.24.4
¬(f alse)
≡ Meta teorema 2.23
true

A ⊂ B ⇒ ¬(B ⊂ A)
La siguiente demostración se hara por reducción a true

A ⊂ B ⇒ ¬(B ⊂ A)
≡ Def ⊂ X2
(A ⊆ B ∧ A=
/ B) ⇒ ¬(B ⊆ A ∧ B=
/ A)
≡ De Morgan
(A ⊆ B ∧ A=
/ B) ⇒ (¬(B ⊆ A) ∨ ¬(B=
/ A))
≡ ¬(A=
/ B) ≡ A = B
(A ⊆ B ∧ A=
/ B) ⇒ (¬(B ⊆ A) ∨ B = A)
≡ Intercambio sobre la implicación
(A ⊆ B ∧ ¬(¬(B ⊆ A))) ⇒ (¬(A=
/ B) ∨ B = A)
≡ (¬(¬p) ≡ p) y ¬(A=
/ B) ≡ A = B
(A ⊆ B ∧ B ⊆ A) ⇒ (A = B ∨ B = A)
≡ Conmutatividad = y Ax7
(A ⊆ B) ∧ (B ⊆ A) ⇒ (A = B)
≡ Def Antisimetrı́a
true

A⊂B∧B ⊂C ⇒A⊂C
La siguiente demostración se hara por transito de izquierda a derecha
A ⊂ B ∧ B ⊂ CA ⊂ B ∧ B ⊂ C
≡ Def ⊂ y Conmutatividad de ∧
A ⊆ B ∧ B ⊆ C ∧ A=
/ B ∧ B=
/C
⇒ Transitividad ⊆
A ⊆ C ∧ A=
/ B ∧ B=
/C

1
Ahora hay que considerar los siguientes dos casos:
1. A = C y 2. A=
/C
Para el primer caso:
(A = C) ` (A ⊂ B ∧ B ⊂ C ⇒ A ⊂ C)
(A ⊂ B) ∧ (B ⊂ C)
≡ Hipotesis
(C ⊂ B) ∧ (B ⊂ C)
≡ Def ⊂ y T.4.25.5
(C ⊆ B) ∧ (B ⊆ C) ∧ (C=
/ B)
⇒ T.12.23
C = B ∧ C=
/B
≡ Def =
/
C = B ∧ ¬(C = B)
≡ (p ∧ ¬(p) ≡ f alse)
false
⇒ T.4.29.2
A⊂C

Para el segundo caso:

/ C) ` (A ⊂ B) ∧ (B ⊂ C) ⇒ A ⊂ C
(A=
(A ⊂ B) ∧ (B ⊂ C)
≡ Def ⊂ X2, conmutatividad y asociatividad de ∧
A ⊆ B ∧ B ⊆ CA=
/ B ∧ B=
/C
⇒ Transitividad de ⊆ y Debilitamiento
A⊆C
⇒ LCAT
A ⊆ C ∧ true
⇒ Hipotesis
A ⊆ C ∧ A=
/C
≡ Def ⊂
A⊂C
Ahora ya que en ambos casos se llega a que A ⊂ C y debido a que ya demostramos 1 y
2, podemos concluir 3:
1. (A ⊂ B ∧ B ⊂ C) ∧ (A = C) ⇒ A ⊂ C
2. (A ⊂ B ∧ B ⊂ C) ∧ (A=
/ B) ⇒ (A ⊂ C)
3. A ⊂ B ∧ B ⊂ C ⇒ A ⊂ C

2
2. Pruebe o refute los siguientes enunciados. En los casos que la proposición sea cierta realice
la demostración :
¬(A ⊆ B) ⇒ B ⊆ A
Contra ejemplo:
Considere los siguientes conjuntos A = {5, 8} y B = {1, 6}
Se puede ver que ¬(A ⊆ B) ≡ T
Sin embargo B ⊆ A ≡ F
Por lo tanto T ⇒ F ≡ F

A ⊆ B sii P(A) ⊆ P(B)

P(A) ⊆ P(B)
≡ Def ⊆
(∀x|x ∈ P(A) : x ∈ P(B))
≡ Def A ∈ P(B) ≡ A ⊆ B X2
(∀x|x ⊆ A : x ⊆ B)
≡ Trueque
(∀x|x ⊆ A ⇒ x ⊆ B)
≡ T.12.18
A⊆B

A ⊆ B ≡ (A × C) ⊆ (B × C)
La siguiente demostración se realizara por reducción a true
A ⊆ B ≡ (A × C) ⊆ (B × C)
≡ Def ⊆ X2
(∀x|x ∈ A : x ∈ B) ≡ (∀x, y|(x, y) ∈ (A × C) : (x, y) ∈ (B × C))
← 7.10.2
(∀x, y|(x ∈ A : x inB) ≡ (x, y) ∈ (A × C) : (x, y) ∈ (B × C))
≡ Trueque
(∀x, y|(x ∈ A ⇒ x inB) ≡ (x, y) ∈ (A × C) ⇒ (x, y) ∈ (B × C))
sii Meta teorema de la Generalización
(x ∈ A ⇒ x inB) ≡ (x, y) ∈ (A × C) ⇒ (x, y) ∈ (B × C)
≡ Def producto cartesiano X2
(x ∈ A ⇒ x ∈ B) ≡ (x ∈ A ∧ y ∈ C) ⇒ (x ∈ B ∧ y ∈ C)
← Monotonia de ∧ sobre ⇒
(x ∈ A ⇒ x ∈ B) ≡ (x ∈ A ⇒ x ∈ B)
≡ (p ≡ p) ≡ true
true

3
A × (B − C) = (A × B) − (A × C)
La siguiente demostración se hara por transito de derecha a izquierda:
(A × B) − (A × C)
≡ Definición -
(a, b) ∈ (A × B) ∧ (a, b) ∈
/ (A × C)
≡ Definición ∈
/
(a, b) ∈ (A × B) ∧ ¬((a, b) ∈ (A × C))
≡ Definición X
(a ∈ A ∧ b ∈ B) ∧ ¬(a ∈ A ∧ b ∈ C)
≡ De Morgan
(a ∈ A ∧ b ∈ B) ∧ (¬(a ∈ A) ∧ ¬(b ∈ C))
≡ Distribución ∧ sobre ∨
((a ∈ A ∧ b ∈ B) ∧ ¬(a ∈ A)) ∨ ((a ∈ A ∧ b ∈ B) ∧ ¬(b ∈ C))
≡ Conmutatividad y asociatividad de ∧
(a ∈ A ∧ ¬(a ∈ A) ∧ b ∈ B) ∨ ((a ∈ A ∧ b ∈ B) ∧ ¬(b ∈ C))
≡ (p ∧ ¬p ≡ f alse) y (p ∧ f alse ≡ f alse)
f alse ∨ ((a ∈ A ∧ b ∈ B) ∧ ¬(b ∈ C))
≡ (p ∨ f alse ≡ p)
(a ∈ A ∧ b ∈ B) ∧ ¬(b ∈ C)
≡ Asociatividad de ∧
(a ∈ A(∧b ∈ B ∧ ¬(b ∈ C))
≡ Def ∈,
/ Def -, Def X
A × (B − C)

A ∩ (B♦C) ⊆ (A ∩ B)♦(A ∩ C) .
B C ♦B = Ø
B C ♦B
≡ Def ♦
(B C ∩ B) ∪ ((B C )C ∩ B C )
≡ (AC )C ≡ A
(B C ∩ B) ∪ (B ∩ B C )
≡ (AC ∩ A = Ø) X2
Ø∪Ø
≡ (A ∪ A ≡ A)
Ø

A ∩ (B♦C) = (A ∩ B)♦(A ∩ C)♦A .