Lowering the melting point of water with salt
You should write independent equilibrium expressions for the chemical potential of each species. 

In a freezing point depression problem the solvent in frozen form is at equilibrium with the solvent in liquid form, so you can write that 
$$\mu(\ce{H2O(s))}=\mu(\ce{H2O(sol))}$$
Next, by Raoult's law (assuming it holds), the chemical potential of solvent in the solution (the right-hand term) differs from that of the pure liquid by the term $RT\log(\chi_1)$ where $\chi_1$ is the mole fraction of solvent, so that
$$\mu(\ce{H2O(s))}=\mu(\ce{H2O(l))} + RT\log(\chi_1)$$
This is just the beginning. Next you need to recognize that the standard Gibbs free energy change for melting is just $\Delta_m G^\circ=\mu(\ce{H2O(l))}-\mu(\ce{H2O(s))}$ (assuming the solution is at $\pu{1 bar}$ or approx normal pressure) and invoke the Gibbs-Helmholtz equation in differential form: 

$$\left(\frac{\partial(\Delta G /T)}{\partial (1/T)}\right)_p=\Delta H$$ 

so that 

$$\left(\frac{\partial\log(\chi_1)}{\partial (1/T)}\right)_p=-\frac{\Delta_m H^\circ}{R}$$ 

Now you integrate the van't Hoff equation from $\chi_1 = 1$ (pure solvent) to $\chi_1 = 1-\chi_2&lt;1$, while assuming $\Delta_m H^\circ$ to be constant over this range of $T$. Finally, assuming $T\approx T_m$, expressing $\chi_1$ in terms of solute molality, and assuming the solute concentration is low, results in the freezing point equation
$$\Delta T = K_m m_2 $$
where $K_m$ is the cryoscopic constant
$$K_m=\frac{RT_m^2M_2}{1000 \Delta_m H^\circ}$$
Here $M_2$ is the molar mass of the solute.
You can use this last expression to compute the molality of solute $m_2$ required to depress the freezing temperature by $\Delta T$.  

The process of dissolving the solute is not important (whatever happens before it is fully dissolved doesn't matter as long as it is soluble). Also, it is assumed an ideal solution forms, which means interactions of the solvent with solute, and between solvent molecules are equally strong. And the salt remains in solution (none is incorporated into the solid phase). Note also that liquid solvent remains in equilibrium with solid solvent at the melting point $T_m$, and that we assume that the solute concentration is dilute (this is important to derive the last expression, but Raoult's law may hold even for substantial solute concentrations).