Materia: Introduccin a la Informtica Instituto Universitario Aeronutico

Alumno BONET JOSE JAVIER

Solucin N 5:
________________________________________________________________________________
a. Separamos el esquema preposicional tiene suerte de vez en cuando
F(x)= x tiene suerte de vez en cuando.
Y el Objeto: Todo el mundo como Constante a
Vemos que la Constante a satisface a F(x)

b. Si x es un perro, entonces x tiene cola

x / ( perro ( x )= tiene Cola ( x ) )

c. Traduciendo la frase Hay alguien que conoce a todo el mundo al
predicado:
Existe un alguien = x que conoce a todo el mundo = y / para
todo y se cumple que P( x , y ).

x / y /P(x , y)