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

Similar Threads for Logic Logically equivalent Date
I Using Logical Equivalences to Simplify a Statement Sep 5, 2016
I Logically equivalent May 2, 2016
Stumped on a logical equivalence proof Nov 19, 2014
Difficulty understanding a logical equivalence Feb 22, 2013
Testing Logical Equivalence Jan 30, 2013