Practico 5 ej 4.C

Practico 5 ej 4.C

de German Adolfo Faller Farias -
Número de respuestas: 2

Hola en este ejercicio dice

Asuma la siguiente propiedad referente a la igualdad de elementos de tipos A:

Axiom eqGen1: (x:A) ~(eqGen x x)=false.


pero eso no anda, lo pongo con el formato del forall?

o sea

Axiom eqGen1: forall (x:A), ~(eqGen x x)=false. 

En respuesta a German Adolfo Faller Farias

Re: Practico 5 ej 4.C

de Carlos Luna -

Si, claro. Además la variable A debe estar declarada; sino tendrías que cuantificar sobre A también.

Saludos, Carlos