cristina89
- 29
- 0
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.
cristina89 said: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.