# Clase de práctico del lunes 4 de abril

## Objetivos:

- Familiarizarse con la notacion de conjuntos.
- Operaciones con conjuntos.
- "Realizar demostraciones" - relación con el práctico de lógica.

## Ejercicio 1

Idea: ir "filtrando" por cláusula.

(x < 16): 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15

(x < 16)^(x es par): 0, 2, 4, 6, 8, 10, 12, 14

(x < 16)^(x es par)^(x es divisible por 3): 0, 6, 12

Resultado: {0, 6, 12}

## Ejercicio 2

a ∈ B: "a pertenece a B"

A ⊂ B: "A esta incluido en B"

2 ∈ {1, 3, 5, 2}

{2} ⊂ {1, 3, 5, 2}

{2} ∈ {{1}, {3}, {5}, {2}}

{{2}} ⊂ {{2}, a, b, c}

{{2}} ⊂ {{2, {2}}, {2}}

## Ejercicio 7

Método: probar que (a) implica (b), luego que (b) implica (c), y finalmente que (c) implica (a).

En primer lugar, vamos a probar que (a) A ⊂ B implica (b) ⊂ A.