Hola:
Hay un detalle y es que esa propiedad que vos mencionás es para PROP.
Posiblemente puede extenderse para lógica de predicados considerando sentencias, pero es algo que no hacemos en el curso.
Hola:
Hay un detalle y es que esa propiedad que vos mencionás es para PROP.
Posiblemente puede extenderse para lógica de predicados considerando sentencias, pero es algo que no hacemos en el curso.