FUNDACION UNIVERSITARIA SAN MARTIN

ACTIVIDADES FASCICULO 1

Presentado por: GERMAN ALBERTO FERNANDEZ PEREZ DAVID ESTEBAN PRIETO SARMIENTO

Tutor: CARLOS ALFREDO VERANO RODRIGUEZ

FUNDACION UNIVERSITARIA SAN MARTIN UNIVERSIDAD ABIERTA Y A DISTANCIA PROGRAMACION LOGICA Y FUNCIONAL GR121 21 DE FEBRERODEL 2013

Actividad 1.1 Escriba, en el Clculo de Predicados, la frase: todo nmero natural tiene un sucesor. Rta:/ N= Numeros naturales > 0

Actividad 1.2 Haga una sustitucin de variables sobre el ejemplo x(P(x))Q(x) que mantenga la equivalencia de la expresin. Rta:/ Es equivalente cualquier combinacin ya que no pierde el sentido porque la aparicin de la variable x en Q(x) no se ve afectada por la expresin para todos.

Expresin original x(P(x))Q(x)

Expresin equivalente z(P(z))Q(x) n(P(n))Q(x)

Actividad 1.3 Escriba en el clculo de predicados el argumento

Toda madre ama a su hijo Mara es la madre de Pedro ________________________ Mara ama a Pedro Rta:/ M=ser madre A=ama a su hijo .m=maria .p=Pedro x (M(x)) A(y) M(m,p) _____________________________ A(m,p)

Autoevaluacin

1. Escriba de dos formas diferentes (usando funciones y usando predicados) la frase: la suma de 5 y 6 es 11. Rta:/

f(x)=a+b suma(x,y)

2. Muestre una tabla de asignaciones de valores de verdad para el predicado primo(x), donde x es el nmero entre 2 y 12. Rta:/

primo(x) V V F F F V F F F V F

x 2 3 4 8 6 7 8 9 10 11 12

3. Diga cuales son las variables libres y ligadas en la expresin z (P(z) Q(x)) yQ(y) Rta:/ Las variables libres son x Las variables ligadas son Z , Y

4. Para cada uno de los siguientes ejercicios, escriba una expresin de Clculo de Predicados que sea equivalente al enunciado. En cada uno especifique el significado COMPLETO de los predicados que utilice a. Toda regla tiene su excepcin. Rta:/ P=Regla Q= Excepcin

x(P(x) Q(y))
b. Nadie es perfecto. Rta:/ P= Perfecto

x(P(x))
c. Algunas personas son impacientes. Rta:/

P=impacientes

x(P(x))
d. Todo el mundo tiene madre. Rta:/ P=Mundo Q= Madre

xy(P(x) Q( y))
e. Si Juan es ms alto que Pedro y Pedro es ms alto que Mara, entonces Juan es ms alto que Mara, sabiendo que el universo del discurso son los seres humanos.

Rta:/

P= Juan es ms alto que Pedro Q= Pedro es ms alto que Mara R= Juan es ms alto que Mara

f. Si x es divisible por 5 entonces x no es primo. El universo del discurso son los nmeros enteros. Rta:/ P=numero entero Q=divisible R=numero primo .y=5

x(P(x)Q(y))R(x))
g. Algunos superhroes vuelan. Rta:/ P=volar .x=superhroes

x(P(x))
h. A algunas personas les gustan los dulces. Rta:/ P= gusto por el dulce .x=personas

x (P(x))
i. A algunas personas slo les gustan los dulces. Rta:/

j.

No todos los primos son impares. Rta:/ P=primo Q=par

x(P(x) Q (x))
k. El nico nmero primo par es el 2. Rta:/ P=primo Q=par R=2

x((P(x) Q (x)) R(x))

l. Todos los animales son mortales Rta:/ P=animal Q= Mortal

x(P(x)Q (x))
m. Hay alguien que admira a todo el mundo. Rta:/ P=ADMIRAR

x y(P(x ,y))