Este documento contiene un conjunto de ejercicios de lógica cuantificacional para el estudiante Orlando Aponte de la Universidad Fermín Toro. Los ejercicios incluyen negar proposiciones cuantificadas, simbolizar expresiones utilizando cuantificadores universales y existenciales, determinar el valor de verdad de proposiciones, y decir si proposiciones son ciertas para un dominio de números enteros.

1. UNIVERSIDAD FERMIN TORO
FACULTAD DE INGENIERIA
DEPARTAMENTO DE MATEMATICAS
INTEGRANTE:
Orlando Aponte C.I: 15.101.439

2. Ejercicios
1. Negar las siguientes proposiciones cuantificadas.
 ("x)( C(x) D(x)).
 (x)(P(x) Q(x)).
 ("x)(P(x) v M(x)).
 (x)(P(x) ^ B(x)).
2. Simbolizar, utilizando el cuantificador universal,
las siguientes expresiones.
 Existe al menos una montaña.
 Hay cisnes negros.
 Existen animales carnívoros.
 Hay números perfectos.
3. Simbolizar, utilizando el cuantificador existencial
las siguientes expresiones.
 Todos aprobamos el curso
 Todo cetáceo es un pez.
 Toda hormiga es un insecto.
4. Mencione el valor de verdad de cada una de las siguientes proposiciones:
a) Todas las personas no tienen el tiempo para dedicarlo al mantenimiento de
sus autos
b). Todo número natural es un entero.
c). Todos los números primos son impares.
d). Todos los números impares son primos.
e) . Algunos números racionales son enteros.
5. Diga si las siguientes proposiciones son ciertas para el dominio
especificado. (El dominio son todos los números enteros)
a) x + 1 > x para toda x

3. b) “ x < 2” para toda x
c) 2x+5<33 para toda x