Pontificia Universidad Catolica de Valparaso

Instituto de Matematicas

Gua 2, Mat 165-1

Marzo de 2013
Profesor: Antonio Morales A.
{
1. Considere los conjuntos A = {0, 3, 6} y B =

}
1
7
, 2,
. Determine el valor de verdad de las siguientes
4
3

proposiciones:
(
)
1
a) (x A)(y B) xy + y 1
2
b) (x B)(y A)(x + y < 1)
c) (x A)(y B)(xy = 0 x < y)
2. Dado el conjunto A = {2, 1, 1, 2}, determine el valor de verdad de las siguientes proposiciones:
a) (x A)(x es par x2 = 2)
b) (x A)(y A)(x + y 2 = 1)
3. Si A = {1, 2, 3} y B = {3, 2, 1, 0, 1}, determine el valor de verdad de las siguientes proposiciones:
a) (x A)(y B)(xy > 0 y 2 0)
b) (x A)(y B)(xy < 1 y 2 2)
c) (y B)(y A)(x y < 0)
4. Escriba la negacion de las siguientes proposiciones:
a) (x R)(y R)(xy = 1)
b) (y R)(x R)(x y 0)
c) (x N)(xy = 1 x = y)
5. Demuestre que la proposicion
(a Z)(a es par a2 es par)
es verdadera.