How to show if $\vdash \alpha \leftrightarrow \beta$ then $\alpha \equiv \beta$

53 Views Asked by At

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$?

1

There are 1 best solutions below

3
On BEST ANSWER

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.