Pontificia Universidad Católica de Chile

Facultad de Matemáticas
Profesor: Pablo Herrera
Ayudante: Ignacio Vargas

Repaso I1-MAT-1204

1. Lógica proposicional.

a) Determine el valor de las proposiciones p,q,r,s,t si se sabe que la siguiente proposicion es verdadera.

((q ⇔ q) =⇒ (p ∧ ¬p)) ⇔ [(r =⇒ (p ∨ s)) ∨ (q ∨ t)]

b) Muestre que la siguiente proposición es falsa

(∀x ∈ U, ∃y : P (x)) ∧ (∃x ∈ U, ∀y¬P (x))

2. Sean A,B,C conjuntos demuestre que:

a)A ∩ B\C = A ∩ B\(C ∩ A)

b)A ∪ B = A ∩ C ⇔ B ⊆ A ∧ A ⊆ C

Sea Ω = U un conjunto no vacı́o llamamos topologı́a sobre Ω a una familia A ⊆ P(Ω) no vacı́a de sub-
conjuntos de Ω que verifique:

- ∅, Ω ∈ τ
S
- i∈I A, A ∈ τ pertenece a τ ,
Tn
- i=1 , An , n ∈ N, An ∈ τ pertenece a τ

3. Demuestre que el siguiente conjunto es una topologı́a.

a) Demuestre que P(Ω) es una topologı́a sobre Ω

4. Demuestre que:

a) A ⊆ C =⇒ (A × B) ⊆ (C × B)

b) (A × B) ∩ (B × A) = ∅ ⇔ A ∩ B = ∅