Describir: Diseño de asistente para derivaciones esquemáticas del sistema de deducción natural de lógica de primer orden