Immagino che la richiesta sia identificare il dominio.
ExProf comunque avrebbe detto che non dovrebbe toccare al risolutore
immaginare cose che non vengono dette.
Esistenza del logaritmo x > 0
Radicando non negativo
4 - (log_1/2 x)^2 >= 0
- 2 <= log_(1/2) x <= 2
e ricordando che con base minore di 1 il logaritmo é
decrescente, passando agli esponenziali l'ordine degli estremi
si inverte
(1/2)^2 <= x <= (1/2)^(-2)
1/4 <= x <= 4.
Verifica grafica