Describir: Editor logico para ayuda de deducciones formales en logica