Re: [Practico 2] Ejercicio 4.1 de Carlos Luna - domingo, 28 de agosto de 2022, 22:10 Número de respuestas: 0 Hola.Con los testigos a la vista, la prueba la terminás con:exists y.exists x.assumption.Saludos, Carlos Enlace permanente Mostrar mensaje anterior Responder