# Logic - Logically equivalent

## Main Question or Discussion Point

Be $\alpha$ and $\beta$ two formulas of the propositional calculus, show that $\alpha$ and $\beta$ are logically equivalent if and only if ~$\alpha$ and ~$\beta$ are logically equivalent.

## Answers and Replies

Related Set Theory, Logic, Probability, Statistics News on Phys.org
Be $\alpha$ and $\beta$ two formulas of the propositional calculus, show that $\alpha$ and $\beta$ are logically equivalent if and only if ~$\alpha$ and ~$\beta$ are logically equivalent.
Is this a homework question? If so, it should be posted in the homework section: precalculus mathematics. In any case, you need to show your attempt at a solution.

HallsofIvy