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

Prove that A,B |- A = B where = is the triple bar?

  1. Feb 19, 2006 #1

    is it possible to prove that

    A,B |- A = B where = is the triple bar?

    How do you connect the two??


  2. jcsd
  3. Feb 19, 2006 #2


    User Avatar
    Science Advisor

    If I read that correctly, its trivial: it just says the A, B both true implies that A and B have the same truth value!
  4. Feb 19, 2006 #3


    User Avatar
    Science Advisor

    You can prove it logically by conjunction (A & B) and then addition (A & B or ~A & ~B) which is the definition of equivalence.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook