We know that $\alpha \equiv \beta$ if $\beta \vDash \alpha$ and $\alpha \vDash \beta$.
In first order logic:
$(M, v) \vDash \alpha$ iff $(M, v) \vDash \beta$ for every interpretation $(M, v)$.
But how to show starting from $\vdash \alpha \leftrightarrow \beta$?
Suppose that $\alpha\leftrightarrow\beta$ is a valid sentence. Assume that $(M,v)\models\alpha$, since $\alpha\leftrightarrow\beta$ is a valid sentence, it must be the case that $(M,v)\models\alpha\leftrightarrow\beta$...
Continue from there.