Lista Ejercicios 1 de Teorı́a de Conjuntos

Semestre 2021B

1. Muestre que las siguientes f.b.f son tautologı́as:

a) (p∧ ∼ p) → q.
b) (p → q) ↔ (∼ q →∼ p).
c) (p → (q → r)) ↔ (p ∧ q → r).

2. Demuestre que el conectivo Y es asociativo y conmutativo. Encuentre

una f.b.f que sea equivalente a p Y q, pero sólo usando el conectivo ∧ y
la negación ∼.

3. Diga cuáles de las siguientes afirmaciones son verdaderas y cuáles son

falsas, justificando plenamente su respuesta:

a) {1, 2, 3} ⊆ {1, 2}.

b) {1, 2, 2} = {2, 1}.
c) a ∈ {{a}}.
d ) A ⊆ ∅ → A = ∅.

4. Demuestre formalmente las siguientes propiedades, asumiendo que S

es el referencial:

a) Si A ⊆ B, entonces A ∪ M ⊆ B ∪ M para cualquier M ⊆ S.

b) A ∪ B = B, si y solo si, A ⊆ B.
c) A − B = A ∩ (Cs B).
d ) P ⊆ Q, si y solo si, Qc ⊆ P c .

5. Sea el referencial S y sean A, B, C ⊆ S. Muestre que:

a) A 4 B = B 4 A.
b) A 4 (B 4 C) = (A 4 B) 4 C.

1
 c) A 4 B = (A − B) ∪ (B − A).
d ) A 4 B = (A ∪ B) − (A ∩ B).

Nota: Recuerde que estas propiedades se demuestran usando

las propiedades del conectivo Y.

6. Muestre que A − B = A si y solo si A ∩ B = ∅.

7. Tomando como referencial el conjuntos de los números reales, halle

condiciones en dos variables p(x, y), tales que:

a) (∃x)(∀y)(p(x, y)) es falsa.

b) (∀y)(∃x)(p(x, y)) es verdadera.
c) (∃x)(∀y)(p(x, y)) es verdadera.
d ) (∀y)(∃x)(p(x, y)) es falsa.

8. Escriba la negación de cada una de las siguientes expresiones:

a) (∀x)(p(x) → q(x)).
b) (∀x)(p(x) → (∀x)(q(x))).
c) (∀x)(p(x) → (q(x) ∨ r(x))).
d ) (∃x)(∀z)(p(x, z) ∧ q(z)).