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

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    What is your definition of "logically equivalent"?
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Logic - Logically equivalent
  1. Equivalence Test (Replies: 4)

  2. Equivalence Relations (Replies: 4)

  3. Equivalence classes (Replies: 6)

Loading...