Деление на дробь равносильно умножению на обратную ей дробь.
\( 5 : \frac{1}{2} = 5 \times \frac{2}{1} = 5 \times 2 = 10 \)
Ответ: 10