Are \alpha and \beta logically equivalent if ~\alpha and ~\beta are?

  • Context: Graduate 
  • Thread starter Thread starter cristina89
  • Start date Start date
  • Tags Tags
    Equivalent Logic
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
2 replies · 3K views
cristina89
Messages
29
Reaction score
0
Be [itex]\alpha[/itex] and [itex]\beta[/itex] two formulas of the propositional calculus, show that [itex]\alpha[/itex] and [itex]\beta[/itex] are logically equivalent if and only if ~[itex]\alpha[/itex] and ~[itex]\beta[/itex] are logically equivalent.
 
Physics news on Phys.org
cristina89 said:
Be [itex]\alpha[/itex] and [itex]\beta[/itex] two formulas of the propositional calculus, show that [itex]\alpha[/itex] and [itex]\beta[/itex] are logically equivalent if and only if ~[itex]\alpha[/itex] and ~[itex]\beta[/itex] 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.