Documentos de Académico
Documentos de Profesional
Documentos de Cultura
(UAPA)
Participantes:
CRISTAL PAULINO 100023008
JEREMY VELEZ 100031318
CHRISTIAN RODRÍGUEZ 100026578
JENNSY NUÑEZ 100031369
GARBER BATISTA 100024855
Carrera:
Ingeniería en Software y Informática Gerencial
Tema:
Cuantificadores Lógicos
Asignatura:
Matemática Discreta
Facilitador:
Zolio A. Marrero Siri
Fecha De Entrega:
28/08/2021
EJERCICICIO SOBRE CUANTIFICADORES
I) Determine el valor de verdad de las siguientes proposiciones:
a) Ʉm ε Z+, Ǝn ε Z+, 2n = m
N=8 2 (8) = 16
M = 16 16 = 16 _V_
1 2 2
=1 =1 Verdadero
2 1 2
1 5 5
=1 =1 Verdadero
5 1 5
a) Ʉx [x ε pares Λ x ε impares]
b) Ǝx [x = 5]
c) Ʉx [x ε pares Λ x ε primo] :
a) ᴲ!x, y [y = 2x +1]
Y = 2(2) + 1
Y = 4+1 = 5
Y<x+3
7 < 4 _F_
sen2 x + cos2 x = y
c) ᴲ! x, y [sen2 x + cos2 x = y]
Falso, porque suponiendo que y es igual a 1, cualquier valor de x y de y
van a reproducir el 1 por la identidad pitagórica.
e) ᴲy Ʉx [ y > x2 ]
f) Ʉx ᴲy [y > x2 ]
a) (Ǝx Ɛ A) (X+2=9)
Verdadero
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_