Hello(adsbygoogle = window.adsbygoogle || []).push({});

is it possible to prove that

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

How do you connect the two??

Thanks

P

**Physics Forums - The Fusion of Science and Community**

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?

Loading...

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 |

**Physics Forums - The Fusion of Science and Community**