Universidad Tecnológica de Pereira

Tema: Cuantificadores Lógicos Prof: Mónica Angulo Cruz

1. Expresa las siguientes proposiciones mediante el uso de cuantificadores lógicos.

a) Para todo x en los números naturales x≥0

b) Para todo x, si x es estudiante de la UTP, entonces x se identifica con el carnet UTP
c) Para todo x que pertenece a los números reales 𝑥 2 ≥ 0
d) Algunas personas de la comunidad UTP son profesores
e) Existen algunos animales en el mar que son mamíferos
f) Existen algunos números naturales que son primos
g) Existen algunos números naturales que son pares
h) Existe un único empleado de la UTP que es rector
i) Existe un único ciudadano de Pereira que es Alcalde
j) Existe un único numero primo que es par
k) Existe un único numero natural que al sumarlo con otro número natural no lo altera

2. Realizar la negación de los siguientes proposiciones

a. Para todo x que pertenece a los números reales 𝑥 2 ≥ 0
b. Para todo x en los números naturales x≥0
c. Todos los animales respiran
d. Toda la comunidad de la UTP debe de tener un carnet de identificación
e. Algunas personas de la comunidad UTP son profesores
f. Existen algunos animales en el mar que son mamíferos
g. Existen algunos números naturales que son primos
h. Existen algunos números naturales que son pares
i. Existe un único empleado de la UTP que es rector