Usuario:JULIAN.D.OR/ejercicio16

Utilice el calculo de predicados para formular el hecho consistente en que f( x ) es una funcion de x si para cada x hay exactamente un y tal que y = f( x )



( ( f( x ) = y ) ( f( x ) = z z = y ) )