Coordinación Matemáticas

Matemáticas I

Ayudantı́a 2
1. Simplifique la siguiente proposición:

∼ {∃ x  U/ [p(x)∧ ∼ q(x)]}

Solución:

≡ {∀xU/ ∼ [p(x)∧ ∼ q(x)]}

≡ {∀xU/ ∼ p(x) ∨ q(x)}

2. Considere el conjunto A = {xN/x < 9} y las proposiciones :

p(x) : x es par
q(x) : x es divisible por 5

• Determine el valor de verdad de las siguientes proposiciones

i)∃ x  A : p(x) ∨ q(x)
ii)∀ x  A, ∃ y  A : x < y

Solución:

i)La proposición es verdadera ya que en el conjunto A se encuentra el 2,4,6 que son

par y cumplen p(x) teniendo al menos un número par. Y también se cumple q(x)
dado que si hay al menos un número que sea divisible por 5 el cual es el 5
ii) Si x=8 e y=8 no se cumple la igualdad

3. Simplifique, obteniendo una expresión de tipo afirmativa:

∼ {[∃ x  U/p(x)] →
− [∃ x  U / ∼ q(x)]}

1
 Solución:

≡∼ {∼ [∃ x  U / p(x)] ∨ [∃ x  U/ ∼ q(x)]}
≡ [∃ x  U / p(x)] ∧ ∼ [∃ x  U / ∼ q(x)]
≡ [∃ x  U / p(x)] ∧ [∀ x  U / q(x)]

4. Simplificar el siguiente propuesto:

∼ [∼ (∀ x  A/ p(x) →
− q(x))] →
− [(∃ x  A/ ∼ q(x)) →
− ∼ (∃! x A/h(x)∧ ∼ p(x))]

Solución:

≡ [∼ (∀ x  A/ p(x) →− q(x)] ∨ [(∃ x  A/ ∼ q(x)) → − ∼ (∃! x A/h(x)∧ ∼ p(x))]

≡ [∼ (∀ x  A/ ∼ p(x) ∨ q(x)] ∨ [∼ (∃ x  A/ ∼ q(x))∨ ∼ (∃! x A/h(x)∧ ∼ p(x))]
≡ (∃ x  A/ p(x)∧ ∼ q(x)] ∨ [(∀ x  A/q(x)) ∨ [(∀ x A/ ∼ h(x) ∨ p(x)) ∨ (∃ x yA, x 6=
y/[(h(x)∧ ∼ p(x)] ∧ [(h(y)∧ ∼ p(y)

5. Demuestre que:
A − (B ∪ C) = (A − B) ∩ (A − C)

Solución:

= A ∩ (B ∪ C)c
= A ∩ (B c ∩ C c )
= (A ∩ A) ∩ (B c ∩ C c )
= A ∩ (A ∩ B c ) ∩ C c
= A ∩ (B c ∩ A) ∩ C c
= (A ∩ B c ) ∩ (A ∩ C c )
= (A − B) ∩ (A − C)

6. Simplifique al máximo la expresión:

B c − [(B − C) ∩ (B − C c )]c

2
 Solución:

B c ∩ [[(B − C) ∩ (B − C c )]c ]c
B c ∩ [(B ∩ C c ) ∩ (B ∩ C)]
B c ∩ [(B ∩ B) ∩ (C c ∩ C)]
B c ∩ [(B ∩ B) ∩ ∅]
B c ∩ (B ∩ ∅)
Bc ∩ ∅
∅

7. Demuestre que:

A∩B =B∩A

Solución:

A∩B ⊂B∩A
1: x ∈ A ∩ B
conj: x ∈ A ∧ x ∈ B
p∧q =q∧p
x∈B∧x∈A
x∈B∧A

2: B ∈ A ⊂ A ∈ B
x∈B∧A
conj: x ∈ B ∧ x ∈ A
x⊂A∧x∈B
x ∈A∧B

8. Sean A, B y C subconjuntos no vacios de U .

Demuestre:

[A ∩ (B c ∪ C)c ]c ∪ [(A ∩ B c ) ∪ (A ∩ C)] ∪ (A ∩ C c ) = U

3
Solución:
[Ac ∪ (B c ∪ C)] ∪ [(A ∩ B c ) ∪ (A ∩ C)] ∪ (A ∩ C c )
[Ac ∪ (B c ∪ C)] ∪ [(A ∩ (B c ∪ C)] ∪ (A ∩ C c )
[Ac ∪ (B c ∪ C)] ∪ {A ∩ [(B c ∪ C) ∪ C c ]}
[Ac ∪ (B c ∪ C)] ∪ {A ∩ [B c ∪ (C ∪ C c )]}
[Ac ∪ (B c ∪ C)] ∪ {A ∩ [B c ∪ (U )]}
[Ac ∪ (B c ∪ C)] ∪ {A ∩ [U ]}
[Ac ∪ (B c ∪ C)] ∪ {A}
[(Ac ∪ A) ∪ (B c ∪ C)]
[(U ) ∪ (B c ∪ C)]
U