Re: Duda de Eliminación del Existe de Guillermo Calderon - InCo - lunes, 1 de julio de 2024, 11:46 Número de respuestas: 0 La restricción (*) no dice nada acerca de las hipótesis de la derivación de (∃x)α. Enlace permanente Mostrar mensaje anterior Responder