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

Similar Threads - Prove where triple Date
I Prove if x + (1/x) = 1 then x^7 + (1/x^7) = 1. Mar 9, 2016
I Proving Odd and Even Feb 13, 2016
Prove A.(B+C) = (A.B)+(A.C) <Boolean Algebra> Oct 24, 2015
Prove that alpha = aleph_alpha where Feb 5, 2015