Proof: Additive Inverse 2 Pre

Let's prove the following theorem:

c + (ab) = c + (ba)

Proof:

View as a tree | View dependent proofs | Try proving it

Proof Table
# Claim Reason
1 ab = ba ab = ba
2 c + (ab) = c + (ba) if ab = ba, then c + (ab) = c + (ba)

Comments

Please log in to add comments