да, поторопился, там x>=13 будет.

Цитата
из формулы логарифмов
log{b}a=c => b^c=a
b=2; a=x-5; c=3

это называется из определения логарифма.
Равенство верное, а вот промежуток неверный. Подставьте x=0 и убедитесь.