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
    Hello

    is it possible to prove that

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

    How do you connect the two??

    Thanks

    P
     
  2. jcsd
  3. Feb 19, 2006 #2

    HallsofIvy

    User Avatar
    Staff Emeritus
    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

    0rthodontist

    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.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?



Similar Discussions: Prove that A,B |- A = B where = is the triple bar?
Loading...