Usuario:Aaaw04/ejercicio22

De Wikilibros, la colección de libros de texto de contenido libre.
Ir a la navegación Ir a la búsqueda

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


      ÂxË1y(f(x)=y) o ÂxË1y(f(x)=y) ^ Âz(f(x)=z → z=y))