UNIVERSIDAD ABIERTA PARA ADULTOS

(UAPA)

Asignatura:
Logica y teoría de conjuntos

Tema:
Tarea 2

Facilitador:
José León Reyes, M.A

Participante:
Albert Felix Payano 16-1129

Fecha:
26/01/2019
Santiago de los Caballeros,

República Dominicana
I) Determine el valor de verdad de las siguientes proposiciones:

a) Ʉm ε Z+, Ǝn ε Z+, 2n = m

n=8 m=16

2(8)= 16
16=16
V

b) (Ʉx ε R), (Ǝy ε R)(xy = 1)

1 2=1 2= 1
2 1 2
V

c) (Ǝx ε R), (Ǝy ε R)(xy = 1)

1 5= 5 =1
5 1 5

II) Sea x: entero positivo. Determine valor de verdad de las proposiciones y

justifique sus respuestas

a) Ʉx [x ε pares Λ x ε impares] :

Es falso porque un número par al mismo tiempo no puede ser

impar.

b) Ǝx [x = 5]

V Porque el 5 corresponde a los números enteros positivo.

c) Ʉx [x ε pares Λ x ε primo] :

f Porque el único numero que es par y primo es el 2.

 c) Ǝ!x [x ε pares Λ x ε primo]

V Porque el 2 es único numero que es par y es primo.

III) Sean (x,y) pares ordenados enteros positivo. Encuentre el valor de

verdad y justifique su respuesta.

a) ᴲ!x,y [y = 2x +1]

y= 2(2) + 1
y=4+1
y=5

(2,5)
(3,7)
(4,9)
Es falso porque existen infinitas parejas donde y=2x+1

b) Ʉx, y [ y < x/3]

y= < x + 3
7<
1+3
7<4f
(1,7)
Es falso porque con un solo enunciado falso que aparezca se convierte en falso
completo.

IV) Sean x, y reales, encontrar valor de verdad y por qué.

a) Ʉx,y [ sen2 x + cos2 x = y]

Verdadero porque los valores de seno y coseno de cualquier ángulo fluctúan

entre 1 y-1 por lo que cuando se multipliquen estos valores da un numero real.

b) ᴲx,y [sen2 x + cos2 x = y]

Sen2 x + cos2 x= 1
Verdadero, porque esta es una identidad trigonométrica de la llamada
pitagórica.

c) ᴲ!x,y [sen2 x + cos2 x = y]

 Falso porque suponiendo que y sea igual a 1, cualquier valor de x y de y
van a reproducir el 1 por la identidad pitagórica.

d) Ʉx ᴲ!y [sen2 x + cos2 x = y]

Verdadero porque como sen2 x + cos2 x es igual a 1, significa que para el

único valor de y, que se cumple es para 1.

y= 1, 2, 3, 4, 5, 20

x= 1, 2, 3

e) ᴲy Ʉx [ y > x2 ]

Verdadero porque el existencial con un valor que se cumpla es

verdadero.

f) Ʉx ᴲy [y > x2 ]

Es falso porque no en todos los casos la y es mayor que x.

V) Dado el conjunto A={1, 2, 3, 4, 5, 6, 7}. Determine el valor de verdad de

cada uno de los siguientes enunciados:

a) (Ǝx Ɛ A) (X+2=9)
Verdadera
7+2= 9
b) (Ǝx Ɛ A) (X+5=10)
Verdadero
5 + 5= 10
c) (Vx Ɛ A) (X+2>9)
Falso
1+2 >9
3>9 f
2+3>9f
 3+3>9f
4+3>9f
5+3>9f
6+3>9f
7+3>9f
7 + 2=9

d) (Vx Ɛ A) (X+2<10)
Verdadero porque el 9 es menor que el 10.
1+ 2 = < 10 v
2 + 3= < 10 v
3+ 3= < 10 v
4 + 3= < 10 v
5 + 3= < 10 v
5 + 3= < 10 v
6+ 3= < 10 v