Universidad del Atlántico

Taller IV Lógica
Jonathan Pérez Recuero
Fecha de entrega: 21 de agosto de 2020

1. Si A, B, C y D son conjuntos, determine si las siguientes afirmaciones

son falsas o verdaderas. Justifique:

a. (A ∪ B) × (C ∪ D) = (A × C) ∪ (B × D).
b. (A ∩ B) × (C ∩ D) = (A × C) ∩ (B × D).

2. Sean R y S relaciones no vacı́as en un conjunto A. Determine si las

siguientes afirmaciones son falsas o verdaderas. Justifique:

a. Si R y S son reflexivas, entonces R ∪ S es reflexiva.

b. Si R y S son reflexivas, entonces R ∩ S es reflexiva.
c. Si R y S son simétricas, entonces R ∪ S es simétricas.
d. Si R y S son simétricas, entonces R ∩ S es simétrica.
e. Si R y S son antisimétricas, entonces R ∪ S es antisimétricas.
f. Si R y S son antisimétricas, entonces R ∩ S es antisimétrica.
g. Si R y S son transitivas, entonces R ∪ S es transitiva.
h. Si R y S son transitivas, entonces R ∩ S es transitiva.
i. Si R y S son relaciones de equivalencia, entonces R ∪ S es una
relación de equivalencia.
j. Si R y S son relaciones de equivalencia, entonces R ∩ S es una
relación de equivalencia.

3. Sea A = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}. En cada caso, construir una partición

que tengan el número de elementos dados. En consecuencia, construir
la relación de equivalencia correspondiente.

a. 2.
b. 3.
c. 4.
d. 5.
 e. 6.

4. Sea X un conjunto con n elementos. Determine (sin probarlo formal-

mente) el número de elementos de:

a. P(X) × P(X).
b. P(X × X).

5. Muestre con detalle que x ∼ y si x − y ∈ Q, es una relación de equiva-

lencia en R.