Yes but it is not logic here. It is the definition of the operation. If you want to go by logic we can speak limits. Limit for x->0 of 5*x=0
By the continuity of the function 5*1=5.... 5*0.5=2.5 and so on 5*tinylittlenumber= tiny littlenumber there is no reason why going to exact 0 it will jump back to 5