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 )

$\forall _{x}$$\exists _{y}$( ( f( x ) = y ) $\land$ $\forall _{z}$( f( x ) = z $\Rightarrow$ z = y ) )