Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Logic - Logically equivalent

  1. Mar 9, 2012 #1
    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.
  2. jcsd
  3. Mar 10, 2012 #2
    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.
  4. Mar 10, 2012 #3


    User Avatar
    Science Advisor

    What is your definition of "logically equivalent"?
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook