Teora de Algoritmos 2014

Universidad Autnoma de Aguascalientes

Centro de Ciencias Bsicas
Departamento de Ciencias de la Computacin
Maestra en Ciencias
Lgica de Predicados
Tarea para entregar para el da del examen.
1.- Determine el valor de verdad de cada uno de los siguientes predicados. Suponga el universo de
los nmeros reales.
x, x+1>x
x, x2=x
x, |x+1|>x
2. Niegue los predicados del problema anterior.
3. Dado A={1,2,3,4,5} determine el valor de verdad de los siguientes predicados:
xA, x+3=10
xA, x+3<10
xA, x+3<5
xA, x+37
4. Niegue los predicados del problema anterior
5. Niegue los siguientes predicados:
x p(x) y q(y)
x p(x) y q(y)
6. Para los siguientes enunciados, construya la frmula lgica que representa la negacin de los
siguientes enunciados:
Si hay un motn, entonces alguien es muerto
Es de da y todo el mundo est levantado
7. Construya la frmula lgica para la definicin matemtica de: para cada entero n, decimos que
n es par si es divisible entre 2. Suponga que el universo del discurso es el conjunto de los
enteros.
8. Construya la frmula lgica para los siguientes argumentos y demuestre su validez.
Si voy en auto a mi trabajo, entonces llegar cansado.
No estoy cansado cuando llego a mi trabajo
.
Yo no voy en auto a mi trabajo
Todos los gatos tienen cola
Tom es un gato
.
Tom tiene cola
El trabajo debe ser realizado en forma individual.

1 Dra. Aurora Torres Soto