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

[powp]

Hello

is it possible to prove that

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

How do you connect the two??

Thanks

P

 

[HallsofIvy]

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!

 

[0rthodontist]

You can prove it logically by conjunction (A & B) and then addition (A & B or ~A & ~B) which is the definition of equivalence.